Abstraction Refinement for Large Scale Model Checking(English, Electronic book text, Wang Chao)
Quick Overview
Product Price Comparison
Considering both the size of 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. This book summarizes research on abstraction techniques for model checking large digital system.