This article studies runtime verification of properties expressed either in lineartime temporal
logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

Runtime verification (RV) consists in part of checking execution traces against user-provided
formalized specifications. Throughout the last decade many new systems have emerged …

Abstract Analysis of execution traces plays a fundamental role in many program analysis
approaches. Execution traces are frequently parametric, ie, they contain events with …

Runtime verification is aimed at analyzing execution traces stemming from a running
program or system. The traditional purpose is to detect the lack of conformance with respect …

Runtime monitors have been proposed as a means to increase the reliability of safety-critical
systems. In particular, this report addresses runtime monitors for distributed hard real-time …

This tutorial deals with runtime enforcement and advocates its use as an extension of
runtime verification. While research efforts in runtime verification have been mainly …

Software often must be certified for safety, security, or other critical properties. Traditional
approaches to certification require the software, its systems context, and all their associated …

Runtime verification as a field faces several challenges. One key challenge is how to keep
the overheads associated with its application low. This is especially important in real-time …

Very early runtime verification systems focused on monitoring what we can refer to as
propositional events: just names of events. For this, finite state machines, standard regular …