On the Verification of Sequential Equivalence.

Jie-Hong Roland Jiang Robert K. Brayton

Published in: IWLS (2002)

Keyphrases

model checking
formal verification
information systems
signature verification
person identification
real time
computer vision
image processing
optimal solution
search algorithm
artificial neural networks
face verification
sequential search
interactive dynamic influence diagrams