-OVERIFY: Optimizing Programs for Fast Verification.

Jonas Wagner Volodymyr Kuznetsov George Candea

Published in: HotOS (2013)

Keyphrases

symbolic execution
hardware designs
model checking
face verification
intermediate level
computer programs
artificial intelligence
data sets
face detection
artificial neural networks
face recognition
database
static analysis
control flow
formal verification
website
control structures
concurrent systems
java bytecode