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 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, VMCAI ’07