A brief account of runtime verification.

Martin Leucker Christian Schallhart

Published in: J. Log. Algebraic Methods Program. (2009)

Keyphrases

model checking
real world
machine learning
similarity measure
multiresolution
face verification
verification method