Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement (2004)

by T Ball, B Cook, S K Lahiri, L Zhang
Venue:In CAV, volume 3114 of LNCS