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