Temporal Runtime Verification using Monadic Difference Logic

Henrik Reif Andersen, Kaare J. Kristoffersen

In this paper we present an algorithm for performing runtime verification of a bounded temporal logic over timed runs. The algorithm consists of three elements. First, the bounded…