Introduction to Runtime Verification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2018

Introduction to Runtime Verification


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 used for RV. We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and discussing extensively the monitorability problem.
Fichier principal
Vignette du fichier
book-chapter-introduction-to-RV.pdf (1.41 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01762297 , version 1 (09-04-2018)



Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger. Introduction to Runtime Verification. Lectures on Runtime Verification. Introductory and Advanced Topics, 10457, Springer, pp.1-33, 2018, Lecture Notes in Computer Science 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5_1⟩. ⟨hal-01762297⟩
217 View
2838 Download



Gmail Facebook Twitter LinkedIn More