Some Thoughts on Runtime Verification.

Published in: RV (2016)

Keyphrases

face recognition
face verification
person identification
model checking
verification method
formal verification
social networks
digital images
asynchronous circuits