Principles of Model Checking
$401.55
- Hardcover
984 pages
- Release Date
25 April 2008
Summary
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which system…
Book Details
| ISBN-13: | 9780262026499 |
|---|---|
| ISBN-10: | 026202649X |
| Author: | Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Hardcover |
| Number of Pages: | 984 |
| Release Date: | 25 April 2008 |
| Weight: | 1.88kg |
| Dimensions: | 254mm x 203mm x 33mm |
| Series: | Principles of Model Checking |
What They're Saying
Critics Review
This is an impressive piece of work…The book can be used as a kind of reference manual for the classical basis of model checking for lecturers, who will be able to select some parts in order to construct a coherent and complete lecture on automatic verification; and of course for students, who will find many explanations, motivations, examples, and proofs to help them discover this very active research area.
– François Laroussinie * The Computer Journal *About The Author
Christel Baier
Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden.Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.