Formal Verification of a C Compiler Front-End.

Sandrine Blazy Zaynah Dargaye Xavier Leroy

Published in: FM (2006)

Keyphrases

formal verification
model checking
back end
model checker
programming language
bounded model checking
automated verification
symbolic model checking
temporal logic
general purpose
formal specification
code generation
distributed memory machines
dynamic programming
highly optimized
formal methods
heuristic search