Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial (ETHZ, Switzerland)
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: B-method, formal methods
Categories: D.2.4, F.3.1