Sciweavers

JUCS
2007

Automated Formal Methods Enter the Mainstream

13 years 10 months ago
Automated Formal Methods Enter the Mainstream
: 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. Key Words: Formal Methods Category: D.2.4, F.3.1, B.2
John M. Rushby
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where JUCS
Authors John M. Rushby
Comments (0)