Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, and Lintao Zhang
July 2004
In 16th International Conference on Computer Aided Verification (CAV 2004)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 457-461 |
| Volume | 3114 |
| Series | Lecture Notes in Computer Science |
| Address | Boston, MA, USA |
Share
