Model Checking Jr. Edmund M. Clarke Carnegie Mellon UniversityPevná vazba
Model Checking Jr. Edmund M. Clarke Carnegie Mellon UniversityPevná vazba An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology…
Specifikacia Model Checking Jr. Edmund M. Clarke Carnegie Mellon UniversityPevná vazba
Model Checking Jr. Edmund M. Clarke Carnegie Mellon UniversityPevná vazba
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model--representing, for example, a hardware or software design--satisfies a formal specification expressed as a temporal logic formula. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem.
This book offers a comprehensive presentation of the theory and practice of model checking, covering the