JUCS - Journal of Universal Computer Science 13(5): 619-628, doi: 10.3217/jucs-013-05-0619
Formal Methods: Theory Becoming Practice
expand article infoJean-Raymond Abrial
‡ ETH Zürich, Zürich, Switzerland
Open Access
This paper gives a tutorial introduction to the ideas behind system development usingthe B-Method. Properly handled, the crucial relationship between requirements and formal model leads to systems that are correct by construction. Some industrial successes are outlined.
formal methods, B-method