|
|
|
|
Automated Formal Methods Enter the Mainstream
|
|
|
|
|
|
|
|
نویسنده
|
Rushby John
|
|
منبع
|
journal of universal computer science - 2007 - دوره : 13 - شماره : 5 - صفحه:650 -660
|
|
چکیده
|
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
|
|
کلیدواژه
|
Formal Methods
|
|
آدرس
|
SRI International Menlo Park, Computer Science Laboratory, USA
|
|
پست الکترونیکی
|
rushby@csl.sri.com
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|