Formal Methods for Industrial Critical Systems

A Survey of Applications

Nonfiction, Computers, Advanced Computing, Engineering, Computer Engineering
Cover of the book Formal Methods for Industrial Critical Systems by Stefania Gnesi, Tiziana Margaria, Wiley
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Stefania Gnesi, Tiziana Margaria ISBN: 9781118459874
Publisher: Wiley Publication: November 27, 2012
Imprint: Wiley-IEEE Computer Society Pr Language: English
Author: Stefania Gnesi, Tiziana Margaria
ISBN: 9781118459874
Publisher: Wiley
Publication: November 27, 2012
Imprint: Wiley-IEEE Computer Society Pr
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Wiley

Cover of the book Pension Finance by Stefania Gnesi, Tiziana Margaria
Cover of the book Space Modulation Techniques by Stefania Gnesi, Tiziana Margaria
Cover of the book Smart Membranes and Sensors by Stefania Gnesi, Tiziana Margaria
Cover of the book The Conquest of Mexico by Stefania Gnesi, Tiziana Margaria
Cover of the book A God of One's Own by Stefania Gnesi, Tiziana Margaria
Cover of the book Modeling of Digital Communication Systems Using SIMULINK by Stefania Gnesi, Tiziana Margaria
Cover of the book The Topology of Chaos by Stefania Gnesi, Tiziana Margaria
Cover of the book Transportation Planning Handbook by Stefania Gnesi, Tiziana Margaria
Cover of the book Healthcare Fraud by Stefania Gnesi, Tiziana Margaria
Cover of the book Researching Medical Education by Stefania Gnesi, Tiziana Margaria
Cover of the book In Due Season by Stefania Gnesi, Tiziana Margaria
Cover of the book The Struggle for Recognition by Stefania Gnesi, Tiziana Margaria
Cover of the book ABC of Hypertension by Stefania Gnesi, Tiziana Margaria
Cover of the book A Companion to John Adams and John Quincy Adams by Stefania Gnesi, Tiziana Margaria
Cover of the book Handbook of Marine Macroalgae by Stefania Gnesi, Tiziana Margaria
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy