Runtime Verification using LARVA.

Christian Colombo Gordon J. Pace

Published in: RV-CuBES (2017)

Keyphrases

model checking
verification method
multimedia
formal verification
learning environment
digital libraries
face verification
signature verification
concurrent systems
real time
search engine
website
clustering algorithm
search algorithm
lower bound
multimodal biometrics