InterpChecker: Reducing State Space via Interpolations - (Competition Contribution).

Zhao Duan, Cong Tian, Zhenhua Duan, C.-H. Luke Ong

Browse the full TACAS paper archive.