Declarative Stream Runtime Verification (hLola)

Martin Ceresa, Felipe Gorostiaga, Cesar Sanchez

Stream Runtime Verification is a formal dynamic analysis technique that generalizes runtime verification algorithms from temporal logics like LTL to stream monitoring, allowing to…