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

available in:   HTML (36 kB) PDF (56 kB) PS (38 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-05-0650


Automated Formal Methods Enter the Mainstream

John Rushby (SRI International, USA)

Abstract: This paper outlines the emergence of formal techniques, explaining why they wereslow to take on an industrially acceptable form. The contemporary scene, in which formal techniques are increasingly packaged within tools usable by a wide variety of engineers, is reviewed,as are the promising prospects for the future.

Keywords: formal methods

Categories: B.2, D.2.4, F.3.1