Verification Is Experimentation!

Published in: CONCUR (2000)

Keyphrases

model checking
face verification
databases
machine learning
test bed
concurrent systems
social networks
image processing
image sequences
formal verification
high security