- Hardcover
424 pages
- Release Date
4 December 2018
Summary
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. If the specification is not satisfied, the method identifies a counterexample …
Book Details
| ISBN-13: | 9780262038836 |
|---|---|
| ISBN-10: | 0262038838 |
| Author: | Helmut Veith, Orna Grumberg, Daniel Kroening, Doron Peled, Edmund M. Clarke Jr. |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Hardcover |
| Number of Pages: | 424 |
| Edition: | 2nd |
| Release Date: | 4 December 2018 |
| Weight: | 828g |
| Dimensions: | 229mm x 178mm x 27mm |
| Series: | Cyber Physical Systems Series |
About The Author
Helmut Veith
Edmund M. Clark, Jr., is Professor of Computer Science at Carnegie Mellon University.. Orna Grumberg is Professor of Computer Science at Technion, Israel Institute of Technology.Daniel Kroening is Professor of Computer Science at the University of Oxford.Doron Peled is Professor of Computer Science at Bar-Ilan University.Helmut Veith was a Professor on the Faculty of Informatics at Vienna University of Technology (TU Vienna).
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.