Stream runtime verification of real-time event streams with the Striver language

In this paper, we study the problem of runtime verification of real-time event streams; in particular, we propose a language to describe monitors for real-time event streams that can manipulate data from rich domains. We propose a solution based on stream runtime verification (SRV), where monitors a...

Ausführliche Beschreibung