Login / Signup
Formal Verification of an Optimizing Compiler.
Xavier Leroy
Published in:
RTA (2007)
Keyphrases
</>
formal verification
model checking
model checker
programming language
bounded model checking
automated verification
symbolic model checking
general purpose
temporal logic
program slicing
highly optimized
object oriented
expert systems
fuzzy logic
domain specific
functional verification