Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Book sections

Introduction to Runtime Verification

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.
Complete list of metadata

Cited literature [145 references]  Display  Hide  Download

https://hal.inria.fr/hal-01762297
Contributor : Yliès Falcone Connect in order to contact the contributor
Submitted on : Monday, April 9, 2018 - 8:20:58 PM
Last modification on : Wednesday, July 6, 2022 - 4:14:51 AM

File

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

Identifiers

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⟩

Share

Metrics

Record views

192

Files downloads

2637