Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Using First-Order Theorem Provers in the Jahob Data Structure Verification System

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin C. Rinard

Details

Publication typeInproceedings
Published inVerification, Model Checking, and Abstract Interpretation (VMCAI 2007)
Pages74–88
Volume4349
SeriesLNCS
PublisherSpringer
> Publications > Using First-Order Theorem Provers in the Jahob Data Structure Verification System