Title of article
Formal Methods: Theory Becoming Practice
Author/Authors
Abrial, Jean-Raymond ETHZ, Switzerland
From page
619
To page
628
Abstract
This paper gives a tutorial introduction to the ideas behind system development using the 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
Journal title
International Journal of Universal Computer Sciences
Journal title
International Journal of Universal Computer Sciences
Record number
2574599
Link To Document