Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin C. Rinard
2007
In Verification, Model Checking, and Abstract Interpretation (VMCAI 2007)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 74–88 |
| Volume | 4349 |
| Series | LNCS |