eShop USA > Books > Model Checking
Model Checking
List Price: $63.00Our Price: $50.40 You Save: $12.60 (20%)Prices subject to change.
Availability: Usually ships in 24 hours
Binding: Hardcover
Dewey Decimal Number: 004.21
EAN: 9780262032704
ISBN: 0262032708
Label: The MIT Press
Manufacturer: The MIT Press
Number Of Items: 1
Number Of Pages: 314
Publication Date: January 07, 1999
Publisher: The MIT Press
Studio: The MIT Press
Related Items: Featured Listmania!
Editorial Review:
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers.
The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years.
This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers.
Customer Reviews
Average Rating: 
Rating:  - a good reference
This is one of the more comprehensive references on model checking. It covers most of the main technqiues used in model checking. It does not cover bounded model checking which became popular after the publication of this book.
The writing style and the explanations in the book could be much better. You just need some patience in reading the book. Overall, I think this book is a useful reference to researchers and practitioners in the field.
This book, however, is NOT for ... Read More
Rating:  - Good Technical Book
Clarke's book is going to be a classic in this area of computer science. It is well written and covers just about exactly what one would want in a book on this topic. I am currently re-reading chapters 9 and 10 for more depth of understanding, because at first I was able to get the general idea just by skimming, and it is technical enough in style to satisfy my mathematical needs.
I highly recommend this book as a great source on the topic and history of model checking.
Rating:  - hard to read
This book is horribly difficult to read, it is very terse. I found that I could easily follow the things I knew already, but it is not a good book to learn new things from. It is a collection of research results, in a sensible order, but little effort has been made to explain things to the novice. In fact there are research papers which introduce more advanced topics than covered here, and are much easier to read than this book (for example Alur's paper on ATL). It is probably good as a comprehensive ... Read More
Related Categories:
| |
 |
![Lost in Translation [HD DVD]](http://ecx.images-amazon.com/images/I/51AiENe-4HL._SL75_.jpg
)
![All the King's Men [Blu-ray]](http://ecx.images-amazon.com/images/I/51-o0EH7ffL._SL75_.jpg
)
