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 Designing Information by Stefania Gnesi, Tiziana Margaria
Cover of the book Teaching Content Outrageously by Stefania Gnesi, Tiziana Margaria
Cover of the book Analyzing Multidimensional Well-Being by Stefania Gnesi, Tiziana Margaria
Cover of the book Literary Biography by Stefania Gnesi, Tiziana Margaria
Cover of the book Rhythms of Insect Evolution by Stefania Gnesi, Tiziana Margaria
Cover of the book Introduction to Syndemics by Stefania Gnesi, Tiziana Margaria
Cover of the book Practical Manual of Gastroesophageal Reflux Disease by Stefania Gnesi, Tiziana Margaria
Cover of the book Bauphysik Kalender 2011 by Stefania Gnesi, Tiziana Margaria
Cover of the book Theory and Computation of Electromagnetic Fields by Stefania Gnesi, Tiziana Margaria
Cover of the book Leading Organization Design by Stefania Gnesi, Tiziana Margaria
Cover of the book Beyond Redundancy by Stefania Gnesi, Tiziana Margaria
Cover of the book Weighing Goods by Stefania Gnesi, Tiziana Margaria
Cover of the book Marketing Plans for Services by Stefania Gnesi, Tiziana Margaria
Cover of the book Tax Planning and Compliance for Tax-Exempt Organizations, Fifth Edition 2019 Cumulative Supplement by Stefania Gnesi, Tiziana Margaria
Cover of the book Essentials of Financial Risk Management 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