Handbook of Model Checking

• Corporate Author: SpringerLink (Online service)
• Other Authors: Clarke, Edmund M. (Editor, http://id.loc.gov/vocabulary/relators/edt), Henzinger, Thomas A. (Editor, http://id.loc.gov/vocabulary/relators/edt), Veith, Helmut (Editor, http://id.loc.gov/vocabulary/relators/edt), Bloem, Roderick (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Computers.; Software engineering.; Mathematical logic.; Computer science-Mathematics.; Computer software-Reusability.; Quality control.; Reliability.; Industrial safety.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Foundations.; Mathematics of Computing.; Performance and Reliability.; Quality Control, Reliability, Safety and Risk.

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...