On the verification of sequential equivalence.

Jie-Hong Roland Jiang Robert K. Brayton

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2003)

Keyphrases

model checking
face verification
formal verification
verification method
sequential search
interactive dynamic influence diagrams
real time
concurrent systems
fingerprint verification
person identification
formal methods
search algorithm
three dimensional
computer vision
social networks
neural network
data sets