Includes bibliographical references and index.

Foreword / Mike Hinchey -- Foreword / Allesandro Fantechi and Pedro Merino -- Part I. Introduction and State of the Art. Formal Methods: Applying {Logics in, Theoretical} Computer Science / Diego Latella -- Part II. Modeling Paradigms. A Synchronous Language at Work: The Story of Lustre / Nicolas Halbwachs -- Requirements of an Integrated Formal Method for Intelligent Swarms / Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- Part III. Transportation Systems. Some Trends in Formal Methods Applications to Railway Signaling / Allesandro Fantechi, Wan Fokkink, and Angelo Mozenti -- Symbolic Model Checking for Avionics / Radu I. Siminiceanu and Gianfranco Ciardo -- Part IV. Telecommunications -- Applying Formal Methods to Telecommunication Services with Active Networks / María del Mar Gallardo, Jesús Martínez, and Pedro Merino -- Practical Applications of Probabilistic Model Checking to Communication Protocols / Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston -- Part V. Internet and Online Services. Design for Verifiability: The OCS Case Study / Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in thinkteam® / Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- Part VI. Runtime: Testing and Model Learning. The Testing and Test Control Notation TTCN-3 and its Use / Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- Practical Aspects of Active Automata Learning / Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria.

"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"-- Provided by publisher.

"Balances leading edge material, established practice, and reviews of historically important contributions"-- Provided by publisher.

Print version record and online resource; title from PDF title page (IEEE Xplore, viewed March 25, 2014).