Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.

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

Details

Publication typeInproceedings
Published in16th International Conference on Computer Aided Verification (CAV 2004)
Pages457-461
Volume3114
SeriesLecture Notes in Computer Science
AddressBoston, MA, USA
PublisherSpringer
> Publications > Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.