Please enable JavaScript.
Coggle requires JavaScript to display documents.
B Formal Method, Key concepts, Sofware development in B, B Formal Method,…
-
-
-
B Formal Method
-
-
-
Framework for development, validated by proofs
Atelier B
Version 4
Windows, Linux and Mac support
-
-
-
-
-
-
Specification styles
-
Focus on the manipulated data, how they evolve or the way in which they are related
-