Who Cares about System Verification?

Published in: IEEE Des. Test Comput. (2003)

Keyphrases

model checking
face verification
asynchronous circuits
similarity measure
person identification
artificial neural networks
formal analysis
concurrent systems
databases
cryptographic protocols
formal verification
signature verification
mobile robot
multi agent
multiscale
feature extraction
artificial intelligence