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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Boca, Paul., Bowen, Jonathan P., Siddiqi, Jawed.
Format: Electronic
Language: English
Published: London : Springer London : 2010.
Subjects:
Online Access: http://dx.doi.org/10.1007/978-1-84882-736-3
Tags: Add Tag
No Tags, Be the first to tag this record!