23 citations · 29 across the 6 of their papers we have counts for
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…