|
Principles of Model Checking | 
 enlarge | Authors: Christel Baier, Joost-pieter Katoen
Creator: Kim Guldstrand Larsen
Publisher: The MIT Press
Category: Book
List Price: $60.00
Buy New: $39.95
You Save: $20.05 (33%)
New (23) Used (10) from $39.95
Rating:  1 reviews
Sales Rank: 445109
Media: Hardcover
Pages: 975
Number Of Items: 1
Shipping Weight (lbs): 4.2
Dimensions (in): 10 x 8.1 x 1.6
ISBN: 026202649X
Dewey Decimal Number: 004.24
EAN: 9780262026499
ASIN: 026202649X
Publication Date: May 31, 2008
Availability: Usually ships in 1-2 business days
Shipping: Expedited shipping available
Condition: Brand New Book! Orders ship within 1 Business Day!
| |
| Similar Items:
|
| Editorial Reviews:
Product Description
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 systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, or request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.
The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.
|
| Customer Reviews:
Good Introduction to Model Checking November 8, 2008
James Vogel (Chicago, IL USA)
1 out of 1 found this review helpful
I used this book in an introduction to model checking class and found it to be very thorough and relatively readable, given the nature of the material.
The examples are generally clear and illustrative; which is a huge benefit given the mathematical nature of the material.
This book definitely qualifies as being of a theoretical bent and there is a LOT of material covered in its 975 pages.
If you are more interested in exploring the practical side of model checking, or would simply prefer a programming book to a math book I would recommend: 'Principles of the Spin Model Checker' by Ben-Ari.
|
|
|
SEO and Marketing TipsBETA RELEASE | |
