Formal Methods: State of the Art and New Directions
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications. Through fundamental contr...
|Corporate Author:||SpringerLink (Online service)|
|Other Authors:||Boca, Paul., Bowen, Jonathan P., Siddiqi, Jawed.|
Springer London :
No Tags, Be the first to tag this record!