Model Checking, Second Edition

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

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model--representing, for example, a hardware or software design--satisfies a formal specification expressed as a temporal logic formula. If the specification...

• Format: Hardcover
• Language: English
• ISBN: 0262038838
• ISBN13: 9780262038836
• Release Date: December 2018
• Publisher: MIT Press
• Length: 424 Pages
• Weight: 1.70 lbs.
• Dimensions: 1.1" x 7.3" x 9.1"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher