Gnesi / Margaria Formal Methods for Industrial Critical Systems

A Survey of Applications
1. Auflage 2012
ISBN: 978-1-118-45987-4
Verlag: John Wiley & Sons
Format: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, 292 Seiten, E-Book

Today, formal methods are widely recognized as an essential step inthe design process of industrial safety-critical systems. In itsmore general definition, the term formal methods encompasses allnotations having a precise mathematical semantics, together withtheir associated analysis methods, that allow description andreasoning about the behavior of a system in a formal manner.

Growing out of more than a decade of award-winning collaborativework within the European Research Consortium for Informatics andMathematics, Formal Methods for Industrial Critical Systems: ASurvey of Applications presents a number of mainstream formalmethods currently used for designing industrial critical systems,with a focus on model checking. The purpose of the book isthreefold: to reduce the effort required to learn formalmethods, which has been a major drawback for theirindustrial dissemination; to help designers to adopt the formalmethods which are most appropriate for their systems; and to offera panel of state-of-the-art techniques and tools for analyzingcritical systems.

Autoren/Hrsg.

Gnesi, Stefania

Margaria, Tiziana

Über Autor(innen)

STEFANIA GNESI is Director of Research and head of theFormal Methods and Tools Laboratory at ISTI-CNR (Istituto diScienza e Tecnologie dell'Informazione-Consiglio Nazionale delleRicerche) in Pisa, Italy. She was previously a lecturer in methodsand tools for the specification and analysis of software systems atthe University of Florence.
TIZIANA MARGARIA is Full Professor in the Faculty ofMathematics and Natural Sciences of the University of Potsdam,where she holds the Chair of Service and Software Engineering atthe Institute of Informatics. She has held positions atuniversities in Göttingen, Dortmund, and Passau, Germany, aswell as in Sweden and Italy.