Detecting Spurious Counterexamples Efficiently in Abstract Model Checking

Cong Tian, Zhenhua Duan

Abstraction is one of the most important strategies for dealing with the state space explosion problem in model checking. In the abstract model, the state space is largely reduced,…