Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.

Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang

Browse the full CAV paper archive.