Verification is experimentation!

Published in: Int. J. Softw. Tools Technol. Transf. (2001)

Keyphrases

model checking
image processing
test bed
face verification
formal verification
high level
formal analysis
concurrent systems
functional verification
face detection
formal methods
signature verification
person identification
verification method