Sign in
Verification with Abstract State Machines Using MDGs.
Eduard Cerny
Francisco Corella
Michel Langevin
Xiaoyu Song
Sofiène Tahar
Zijian Zhou
Published in:
Formal Hardware Verification (1997)
Keyphrases
</>
model checking
verification method
formal verification
high level
computer vision
signature verification
face verification
digital images
distributed systems
preprocessing
formal analysis
multiscale
clustering algorithm
asynchronous circuits
databases
functional verification
handwritten signature verification