Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, "Formal Methods for Industrial Critical Systems: A Survey of Applications" presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, "Formal Methods for Industrial Critical Systems: A Survey of Applications" presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.
Imprint | John Wiley & Sons |
Country of origin | United States |
Release date | March 2013 |
Availability | Expected to ship within 7 - 13 working days |
First published | December 2012 |
Authors | S Gnesi |
Dimensions | 232 x 156 x 16mm (L x W x T) |
Format | Paperback |
Pages | 292 |
Edition | New |
ISBN-13 | 978-0-470-87618-3 |
Barcode | 9780470876183 |
Categories | |
LSN | 0-470-87618-2 |