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

Bouillaguet, Charles

•

•

Wies, Thomas

2006

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

report

Name

BouillaguetETAL06UsingFirstOrderTheoremProvers.pdf

Access type

openaccess

Size

240.9 KB

Format

Adobe PDF

Checksum (MD5)

d65df0425e0ad4df3e2ab5f55b91347d