Title: Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Subjects: Verification, Mathematical models, Computer systems, Integrated circuits, Electronic systems, Systems engineering