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 …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …

Abstract Evaluation of scientific contributions can be done in many different ways. For the
various research communities working on the verification of systems (software, hardware, or …

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 …

The MonPoly Monitoring Tool Page 1 Kalpa Publications in Computing Volume 3, 2017, Pages
19–28 RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks …

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 …

The first international Competition on Runtime Verification (CRV) was held in September
2014, in Toronto, Canada, as a satellite event of the 14th international conference on …

This tool paper presents E-ACSL, a runtime verification tool for C programs capable of
checking a broad range of safety and security properties expressed using a formal …

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 …