Verification by Abstraction and Bisimulation.

Published in: Automatic Verification Methods for Finite State Systems (1989)

Keyphrases

hardware designs
model checking
fingerprint verification
bounded model checking
data abstraction
verification method
face verification
real time
neural network
learning algorithm
image sequences
evolutionary algorithm
formal methods
formal verification
test generation
functional verification