Formal Verification of Optimizing Compilers.

Yiji Zhang Lenore D. Zuck

Published in: ICDCIT (2018)

Keyphrases

formal verification
model checking
model checker
bounded model checking
programming language
hardware and software
symbolic model checking
automated verification
program slicing
general purpose
computer architecture
temporal logic
massively parallel
low cost