Towards Certified Runtime Verification.

Jan Olaf Blech Yliès Falcone Klaus Becker

Published in: ICFEM (2012)

Keyphrases

model checking
face verification
data mining
formal verification
functional verification
data sets
learning algorithm
information systems
feature selection
video sequences
temporal logic
asynchronous circuits
verification method