Formal verification of compilers and static analyzers.

Published in: PLMW@POPL (2015)

Keyphrases

formal verification
model checking
model checker
programming language
automated verification
hardware and software
symbolic model checking
general purpose
bounded model checking
computer architecture
computer systems
artificial intelligence
temporal logic
search space
program slicing
functional verification