conference paper

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

Bouillaguet, Charles
•
Kuncak, Viktor  
•
Wies, Thomas
Show more
2007
Verification, Model Checking and Abstract Interpretation