Browsing by Subject "multisorted logic"
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 ...