Using first-order theorem provers in the Jahob data structure verification system (2007)

by Charles Bouillaguet , Viktor Kuncak , Thomas Wies , Karen Zee , Martin Rinard
Venue:In Byron Cook and Andreas Podelski, editors, Verification, Model Checking, and Abstract Interpretation, LNCS 4349
Citations:21 - 1 self