Verification Failures: What to Do When Things Go Wrong.

Valeria Bertacco

Published in: Haifa Verification Conference (2010)

Keyphrases

model checking
formal verification
face verification
verification method
failure detection
data mining
machine learning
computer vision
image processing
case study
database systems
face recognition
expert systems
signature verification
fingerprint verification