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

Corresponding author: Jean-Raymond Abrial ( jabrial@inf.ethz.ch )

© Jean-Raymond Abrial.
This article is freely available under the J.UCS Open Content License.
Citation: Abrial J-R (2007) Formal Methods: Theory Becoming Practice. JUCS - Journal of Universal Computer Science 13(5): 619-628. https://doi.org/10.3217/jucs-013-05-0619
Open Access
Abstract
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.
Keywords
formal methods, B-method