Search
Now showing items 1-1 of 1
On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
(2006-11-09)
This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically ...