Model Checking

by Doron A Peled, Orna Grumberg, Edmund M. Clarke, et al.

Book Overview

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

• Format: Hardcover
• Language: English
• ISBN: 0262032708
• ISBN13: 9780262032704
• Release Date: January 1999
• Publisher: MIT Press
• Length: 330 Pages
• Weight: 1.55 lbs.
• Dimensions: 0.9" x 7.3" x 9.3"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher