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

available in:   HTML (24 kB) PDF (100 kB) PS (685 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-05-0669


Realising the Benefits of Formal Methods

Anthony Hall (Independent Consultant, United Kingdom)

Abstract: This paper surveys the whys, and the wherefores of using formal methods in an industrial context. Evidence is presented that the benefits of using formal techniques, though not an automatic consequence of their adoption, can be considerable.

Keywords: correctness by construction, formal methods

Categories: D.2.4, F.3.1