Mechanized Verification of Computing Dominators for Formalizing Compilers.

Jianzhou Zhao Steve Zdancewic

Published in: CPP (2012)

Keyphrases

hardware and software
programming language
model checking
artificial intelligence
database
databases
machine learning
computer vision
image sequences
expert systems
software engineering
general purpose
face verification
computer architecture
formal verification
verification method