This tutorial presents an overview of the field referred as to runtime verification. Runtime
Verification is the study of algorithms, data structures, and tools focused on analyzing …

The aim of this chapter is to act as a primer for those wanting to learn about Runtime
Verification (RV). We start by providing an overview of the main specification languages …

Runtime verification is the process of checking a property on a trace of events produced by
the execution of a computational system. Runtime verification techniques have recently …

Abstract Runtime Monitoring or Verification deals with traces. In its most simple form a
monitoring system takes a trace produced by a system and a specification of correct …

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 …

We present an approach to monitoring system policies. As a specification language, we use
an expressive fragment of a temporal logic, which can be effectively monitored. We report on …

This paper considers a generic approach to runtime verification of temporal properties over
first-order theories. This allows especially for the verification of multi-threaded, object …

The main purpose of this paper is to introduce a first-order temporal logic, LTL FO, and a
corresponding monitor construction based on a new type of automaton, called spawning …

We present the implementation of a prototype tool that runtime checks specifications written
in a maximally-expressive safety fragment of the linear-time modal μ-calculus called MAX …

<? Pub Dtl=""?> There is currently a high level of consciousness of the importance and
impact of formally testing communicating networks. By applying formal description …