Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 5

available in:   HTML (27 kB) PDF (44 kB) PS (25 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-05-0619


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