Formal methods for industrial critical systems
Subtitle: a survey of applications
By: edited by Stefania Gnesi, Tiziana Margaria
Contributors: Margaria-Steffen, Tiziana, 1964-
Publisher: John Wiley & Sons Inc.
Published: 2012
Place of publication: Hoboken, New Jersey
Language: eng
ISBN-13: 9780470876183
Subjects: COMPUTERS / Computer Engineering; Formal methods (Computer science)
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"--

"Balances leading edge material, established practice, and reviews of historically important contributions"--
Notes: Includes index.