Principles of Model Checking

5 customer reviews
ISBN-13: 978-0262026499
ISBN-10: 026202649X
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Sell yours for a Gift Card
We'll buy it for $7.00
Learn More
Trade in now
Have one to sell? Sell on Amazon
Buy used
$25.59
Buy new
$53.86
Amazon Price New from Used from
Kindle
"Please retry"
Hardcover, April 25, 2008
"Please retry"
$53.86
$47.62 $25.59
More Buying Choices
29 New from $47.62 14 Used from $25.59
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


InterDesign Brand Store Awareness Textbooks
$53.86 FREE Shipping. Only 11 left in stock (more on the way). Ships from and sold by Amazon.com. Gift-wrap available.

Frequently Bought Together

Principles of Model Checking + Model Checking + The SPIN Model Checker: Primer and Reference Manual (paperback)
Price for all three: $169.47

Buy the selected items together

Editorial Reviews

Review

This book offers one of the most comprehensive introductions to logic model checking techniques available today. The authors have found a way to explain both basic concepts and foundational theory thoroughly and in crystal clear prose. Highly recommended for anyone who wants to learn about this important new field, or brush up on their knowledge of the current state of the art.

(Gerard J. Holzmann, NASA/JPL Laboratory for Reliable Software)

Principles of Model Checking, by two principals of model-checkingresearch, offers an extensive and thorough coverage of the state of artin computer-aided verification. With its coverage of timed and probabilistic systems, the reader gets a textbook exposition of some ofthe most advanced topics in model-checking research. Obviously, one cannot expect to cover this heavy volume in a regular graduate course; rather, one can base several graduate courses on this book, which belongs on the bookshelf of every model-checking researcher.

(Moshe Y. Vardi, Director, Computer and Information Technology Institute, Rice University)

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 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.
NO_CONTENT_IN_FEATURE

Best Books of the Month
Best Books of the Month
Want to know our Editors' picks for the best books of the month? Browse Best Books of the Month, featuring our favorite new books in more than a dozen categories.

Product Details

  • Hardcover: 984 pages
  • Publisher: The MIT Press (April 25, 2008)
  • Language: English
  • ISBN-10: 026202649X
  • ISBN-13: 978-0262026499
  • Product Dimensions: 8 x 1.3 x 10 inches
  • Shipping Weight: 4.2 pounds (View shipping rates and policies)
  • Average Customer Review: 4.6 out of 5 stars  See all reviews (5 customer reviews)
  • Amazon Best Sellers Rank: #794,495 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

5 star
60%
4 star
40%
3 star
0%
2 star
0%
1 star
0%
See all 5 customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

12 of 13 people found the following review helpful By James Vogel on November 8, 2008
Format: Hardcover
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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
0 of 1 people found the following review helpful By CapitanHarlock on December 9, 2013
Format: Hardcover Verified Purchase
It is THE book for most recent topics in Model Checking. It is very instructive and educational, so adequate for any undergraduate course.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
0 of 1 people found the following review helpful By ziqing on April 2, 2014
Format: Hardcover Verified Purchase
like new. great. The hard cover is almost brand new. IT helps me a lot in study, I'll keep it
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
0 of 1 people found the following review helpful By Punwess on May 5, 2015
Format: Hardcover Verified Purchase
"this book saved my life"
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
0 of 3 people found the following review helpful By Alwyn E. Goodloe on March 15, 2013
Format: Hardcover Verified Purchase
I've only skimmed this book, but it has a lot of useful information and will serve as a good reference.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Principles of Model Checking
This item: Principles of Model Checking
Price: $53.86
Ships from and sold by Amazon.com

What Other Items Do Customers Buy After Viewing This Item?