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 |
©2009 Microsoft Corporation. All rights reserved.