3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…