Making Abstraction Refinement Efficient in 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, although the state space is largely…