Second International Competition on Runtime Verification CRV 2015.

Yliès Falcone Dejan Nickovic Giles Reger Daniel Thoma

Published in: RV (2015)

Keyphrases

international competition
model checking
high security
verification method
neural network
formal analysis
database
real time
artificial intelligence
computer vision
decision making
image sequences
face recognition
formal methods
signature verification
concurrent systems