JUCS - Journal of Universal Computer Science 13(5): 650-660, doi: 10.3217/jucs-013-05-0650
Automated Formal Methods Enter the Mainstream
expand article infoJohn Rushby‡
‡ SRI International, Menlo Park, United States of America

Corresponding author: John Rushby ( rushby@csl.sri.com )

© John Rushby.
This article is freely available under the J.UCS Open Content License.
Citation: Rushby J (2007) Automated Formal Methods Enter the Mainstream. JUCS - Journal of Universal Computer Science 13(5): 650-660. https://doi.org/10.3217/jucs-013-05-0650
Open Access
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