Verification of Certifying Computations through AutoCorres and Simpl.

Lars Noschinski Christine Rizkallah Kurt Mehlhorn

Published in: NASA Formal Methods (2014)

Keyphrases

model checking
information retrieval
evolutionary algorithm
face verification
formal methods
signature verification
verification method
databases
search engine
bayesian networks
multi agent
data structure
motion estimation
face detection
temporal logic
fingerprint verification