A large number of distributed applications requires continuous and timely processing of
information as it flows from the periphery to the center of the system. Examples include …

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 …

In this paper, a brief account of the field of runtime verification is given. Starting with a
definition of runtime verification, a comparison to well-known verification techniques like …

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 …

Temporal properties are useful for describing and reasoning about software behavior, but
developers rarely write down temporal specifications of their systems. Prior work on inferring …

When monitoring a system wrt a property defined in a temporal logic such as LTL, a major
concern is to settle with an adequate interpretation of observable system events; that is …

In this paper we study when an LTL formula on finite traces (LTLf formula) is insensitive to
infiniteness, that is, it can be correctly handled as a formula on infinite traces under the …

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 …

Runtime monitoring is the process of checking whether an execution trace of a running
system satisfies a given specification. For this to be effective, monitors which run trace …