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 an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

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 …

Runtime verification tools must correctly establish a specification's validity or detect
violations. This task is difficult, especially when the specification is given in an expressive …

We report on the Third International Competition on Runtime Verification (CRV-2016). The
competition was held as a satellite event of the 16th International Conference on Runtime …

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 …

Runtime Verification (RV) basically means monitoring an execution trace of a system under
scrutiny and checking if the trace satisfies or violates a specification. In Assumption-Based …

Distributed systems are challenging for runtime verification. Centralized specifications
provide a global view of the system, but their semantics requires totally-ordered …

Online monitoring is the task of identifying complex temporal patterns while incrementally
processing streams of data-carrying events. Existing state-of-the-art monitors for first-order …