Run-Time Verification.

Séverine Colin Leonardo Mariani

Published in: Model-Based Testing of Reactive Systems (2004)

Keyphrases

model checking
databases
face verification
verification method
computer vision
formal analysis
test generation
false acceptance rate