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 Mindfulness-Based Cognitive Therapy for Cancer by Stefania Gnesi, Tiziana Margaria
Cover of the book The 52-Week Low Formula by Stefania Gnesi, Tiziana Margaria
Cover of the book Inside the Investor's Brain by Stefania Gnesi, Tiziana Margaria
Cover of the book RTLS For Dummies by Stefania Gnesi, Tiziana Margaria
Cover of the book Neurobionics by Stefania Gnesi, Tiziana Margaria
Cover of the book Advances in Comparative Survey Methods by Stefania Gnesi, Tiziana Margaria
Cover of the book Computer Games by Stefania Gnesi, Tiziana Margaria
Cover of the book Kevin Kubota's Lighting Notebook by Stefania Gnesi, Tiziana Margaria
Cover of the book The Empowered Manager by Stefania Gnesi, Tiziana Margaria
Cover of the book Twentieth Century History For Dummies by Stefania Gnesi, Tiziana Margaria
Cover of the book Big Data, Big Analytics by Stefania Gnesi, Tiziana Margaria
Cover of the book The Blackwell Companion to the Bible in English Literature by Stefania Gnesi, Tiziana Margaria
Cover of the book Too Big to Ignore by Stefania Gnesi, Tiziana Margaria
Cover of the book The Older Adult Psychotherapy Treatment Planner, with DSM-5 Updates, 2nd Edition by Stefania Gnesi, Tiziana Margaria
Cover of the book Design for Hackers 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