On Using First-Order Theorem Provers in a the Jahob Data Structure Verification System
2006
Files
Details
Title
On Using First-Order Theorem Provers in a the Jahob Data Structure Verification System
Author(s)
Bouillaguet, Charles ; Kuncak, Viktor ; Wies, Thomas ; Zee, Karen ; Rinard, Martin
Date
2006
Note
MIT-CSAIL-TR-2006-072 Full version of https://infoscience.epfl.ch/search.py?recid=110252&ln=en
Additional link
URL
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Technical Reports
Published
Work outside EPFL
Technical Reports
Published
Record creation date
2007-08-21