1 paper · 1 filter
Lukas Convent, Sebastian Hungerecker, Martin Leucker +3
Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derive…