Paperback: 273 pagesPublisher: Springer; 1 edition (December 16, 2009)Language: EnglishISBN-10: 1848827350ISBN-13: 978-1848827356Format: PDFDescription: 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 [...]

more...