Principles of Sequential-Equivalence Verification.

Maher N. Mneimneh Karem A. Sakallah

Published in: IEEE Des. Test Comput. (2005)

Keyphrases

model checking
face verification
real time
sequential search
verification method
machine learning
face recognition
formal analysis
formal verification
concurrent systems
false acceptance