Title of article
Automated Formal Methods Enter the Mainstream
Author/Authors
Rushby, John SRI International Menlo Park - Computer Science Laboratory, USA
From page
650
To page
660
Abstract
This paper outlines the emergence of formal techniques, explaining why they were slow 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
Journal title
International Journal of Universal Computer Sciences
Journal title
International Journal of Universal Computer Sciences
Record number
2574606
Link To Document