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 The Little Book of the Shrinking Dollar by Stefania Gnesi, Tiziana Margaria
Cover of the book Nonlinear System Identification by Stefania Gnesi, Tiziana Margaria
Cover of the book Samsung Galaxy S 4 For Dummies by Stefania Gnesi, Tiziana Margaria
Cover of the book Global Democracy and Exclusion by Stefania Gnesi, Tiziana Margaria
Cover of the book Baby and Toddler Meals For Dummies, Mini Edition by Stefania Gnesi, Tiziana Margaria
Cover of the book Slow Cookers For Dummies by Stefania Gnesi, Tiziana Margaria
Cover of the book The Investment Writing Handbook by Stefania Gnesi, Tiziana Margaria
Cover of the book Suggestibility in Legal Contexts by Stefania Gnesi, Tiziana Margaria
Cover of the book The Mathematics of Derivatives Securities with Applications in MATLAB by Stefania Gnesi, Tiziana Margaria
Cover of the book Designing and Building with UHPFRC by Stefania Gnesi, Tiziana Margaria
Cover of the book Improving Healthcare Through Advocacy by Stefania Gnesi, Tiziana Margaria
Cover of the book 50 Great Myths About Atheism by Stefania Gnesi, Tiziana Margaria
Cover of the book Surviving the Holidays For Dummies by Stefania Gnesi, Tiziana Margaria
Cover of the book Electrical Conduction in Graphene and Nanotubes by Stefania Gnesi, Tiziana Margaria
Cover of the book Ecology of North America 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