Making Abstraction-Refinement Efficient in Model Checking.

Cong Tian, Zhenhua Duan

Browse the full COCOON paper archive.