Formal Methods for Industrial Contributor(s): Gnesi (Author), Margaria (Author) |
|
![]() |
ISBN: 0470876182 ISBN-13: 9780470876183 Publisher: John Wiley & Sons OUR PRICE: $100.65 Product Type: Paperback - Other Formats Published: December 2012 |
Additional Information |
BISAC Categories: - Computers | Computer Engineering - Computers | Machine Theory |
Dewey: 004.015 |
LCCN: 2012016775 |
Physical Information: 0.8" H x 6" W x 9.1" (1.10 lbs) 292 pages |
Descriptions, Reviews, Etc. |
Publisher Description: Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. 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. |