Handbook of Model Checking
- ISBN-10
- 3319105752
- ISBN-13
- 9783319105758
- Category
- Computers
- Pages
- 1212
- Language
- English
- Published
- 2018-05-18
- Publisher
- Springer
- Authors
- Thomas A. Henzinger, Edmund M. Clarke, Helmut Veith
Description
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.
Get the book
Similar books
-
Model Checking, second edition
By Jr., Edmund M. Clarke, Helmut VeithThis book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth.
-
Principles of Model Checking
By Joost-Pieter Katoen, Christel BaierThe book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms ...
-
Handbook of Satisfiability: Second Edition
By A. Biere, H. van MaarenThis book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name.
-
Handbook of Finite State Based Models and Applications
By Jiacun WangAnimated simulation of integrated UML behavioral models based on graph transformation. In Proceedings of the IEEE ... Model Driven Engineering Languages and Systems, LNCS 4199, 245–259, Berlin/Heidelberg, Germany: SpringerVerlag.
-
Handbook of Diagnostic Classification Models: Models and Model Extensions, Applications, Software Packages
By Matthias von Davier, Young-Sun LeeThis handbook provides an overview of major developments around diagnostic classification models (DCMs) with regard to modeling, estimation, model checking, scoring, and applications.
-
Handbook of Probabilistic Models
By Pijush Samui, Dieu Tien Bui, Subrata ChakrabortyThis book provides an interdisciplinary approach that creates advanced probabilistic models for engineering fields, ranging from conventional fields of mechanical engineering and civil engineering, to electronics, electrical, earth sciences ...
-
The Handbook of Formal Methods in Human-Computer Interaction
By Alan Dix, Philippe Palanque, Benjamin WeyersThis book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering ...
-
Model Checking, second edition
By Jr., Edmund M. Clarke, Helmut VeithThis book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth.
-
Handbook of Structural Equation Modeling
By Rick H. Hoyle"This accessible volume presents both the mechanics of structural equation modeling (SEM) and specific SEM strategies and applications.
-
Business Model Generation: A Handbook for Visionaries, Game Changers, and Challengers
By Alexander Osterwalder, Yves PigneurCo-created by 470 "Business Model Canvas" practitioners from 45 countries, the book features a beautiful, highly visual, 4-color design that takes powerful strategic ideas and tools, and makes them easy to implement in your organization.