HLola: a Very Functional Tool for Extensible Stream Runtime Verification.

Felipe Gorostiaga César Sánchez

Published in: TACAS (2) (2021)

Keyphrases

functional verification
real time
data streams
artificial intelligence
decision trees
case study
sliding window
database
neural network
real world
social networks
image processing
data model
user friendly
visualization tool
verification method