Login / Signup
Formal verification of a realistic compiler.
Xavier Leroy
Published in:
Commun. ACM (2009)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
general purpose
programming language
program slicing
real life
temporal logic
real world
software systems
highly optimized
software architecture
search space
expert systems