Skip to Main content Skip to Navigation
Book sections

Introduction to Runtime Verification

Ezio Bartocci 1 Yliès Falcone 2, 3, 4 Adrian Francalanza 5 Giles Reger 6
1 TU WIEN - Technical University of Vienna [Vienna]
2 LIG - Laboratoire d'Informatique de Grenoble
3 UGA UFR IMAG - Université Grenoble Alpes - UFR Informatique et Mathématiques Appliquées
4 CORSE - Compiler Optimization and Run-time Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
5 University of Malta [Malta]
6 University of Manchester [Manchester]
Abstract : 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.
Document type :
Book sections
Complete list of metadata

Cited literature [145 references]  Display  Hide  Download
https://hal.inria.fr/hal-01762297
Contributor : Yliès Falcone <>
Submitted on : Monday, April 9, 2018 - 8:20:58 PM
Last modification on : Tuesday, May 11, 2021 - 11:37:38 AM

File

Vignette du document
book-chapter-introduction-to-R...
Files produced by the author(s)

Identifiers

Collections

CNRS | INRIA | LIG | LIG-SRCPR-CORSE | LIG_SRCPR | UGA

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

305

Files downloads

3398

 

Contact                    Legal Notice                    Personal Data