Bridging the Gap: Automatic Verified Abstraction of C.

David Greenaway, June Andronick, Gerwin Klein

Browse the full ITP paper archive.