Runtime Verification - 17 Years Later.

Klaus Havelund Grigore Rosu

Published in: RV (2018)

Keyphrases

years ago
model checking
face verification
databases
artificial intelligence
image processing
database
real time
data mining
decision trees
face recognition
relational databases
artificial neural networks
person identification
verification method
false acceptance