Login / Signup
Verification by Abstraction and Bisimulation.
Han Zuidweg
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