Customer Reviews

Model Checking

5 star:		(0)
4 star:		(1)
3 star:		(1)
2 star:		(0)
1 star:		(1)

 

 

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 reference if you are already familiar with the techniques. It is a shame as there seems to be no other comprehensive book available on model checking. The most accessible introduction remains Manna and Pnueli's "Temporal Verification of Reactive Systems", although it only has one chapter on model checking.

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 some one who is new to the field. For those who are new to Model Checking and Formal Verification, I strongly recommend "Introduction to Formal Hardware Verification" by Thomas Kropf.

This book has long been considered as a must read before doing research in this field. Without doubt, it contains all you need to know about model checking in general. However, it is a little difficult to read for beginners, and also, since it was written 10 years ago, some new advances are not included. Moreover, it puts more emphasis on CTL than LTL, or more "states" than "paths". It is OK, but more difficult to introduce fairness and infinite paths. Personally, I recommend "Principles of Model Checking" by Christel Baier. But still, you may need a copy of this one in your bookshelf.