Declarative Stream Runtime Verification (hLola).

Martín Ceresa Felipe Gorostiaga César Sánchez

Published in: APLAS (2020)

Keyphrases

data streams
model checking
real time
knowledge representation
multiscale
data sets
functional verification
information systems
sliding window
face verification
formal verification
machine learning
learning algorithm
domain independent
streaming data
signature verification