C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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