Formal verification of translation validators: a case study on instruction scheduling optimizations.

Jean-Baptiste Tristan Xavier Leroy

Published in: POPL (2008)

Keyphrases

formal verification
model checking
instruction scheduling
model checker
symbolic model checking
automated verification
machine translation
program slicing
bounded model checking
temporal logic
neural network
constraint programming
special case
low cost
response time
reinforcement learning
high level