Shopping Cart

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Regular price $185.39 Sale price

Compare at $169.00

  • ISBN-13: 9781489993953
  • Publisher: Springer
  • Release Date: Dec 06, 2014
  • Edition: 2006
  • Pages: 179 pages
  • Dimensions: 0.45 x 9.25 x 6.1 inches


This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.

Customer Reviews

We Also Recommend