Verification modulo versions: towards usable verification.

Francesco Logozzo Shuvendu K. Lahiri Manuel Fähndrich Sam Blackshear

Published in: PLDI (2014)

Keyphrases

model checking
search algorithm
multimedia
high level
face verification
formal analysis
formal verification
person identification
real time
data sets
computer vision
three dimensional
relational databases
false acceptance rate
functional verification