Login / Signup
Compiler verification for fun and profit.
Xavier Leroy
Published in:
FMCAD (2014)
Keyphrases
</>
model checking
computer games
decision making
general purpose
programming language
cross selling
java bytecode
case study
software systems
face verification
real time
marketing strategies
profit maximization
highly optimized
asynchronous circuits
formal verification
formal analysis
formal methods