Runtime verification-17 years later

Klaus Havelund, Grigore Roşu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Runtime verification is the discipline of analyzing program executions using rigorous methods. The discipline covers such topics as specification-based monitoring, where single executions are checked against formal specifications; predictive runtime analysis, where properties about a system are predicted/inferred from single (good) executions; specification mining from execution traces; visualization of execution traces; and to be fully general: computation of any interesting information from execution traces. Finally, runtime verification also includes fault protection, where monitors actively protect a running system against errors. The paper is written as a response to the ‘Test of Time Award’ attributed to the authors for their 2001 paper [45]. The present paper provides a brief overview of what lead to that paper, what has happened since, and some perspectives on the future of the field.

Original languageEnglish (US)
Title of host publicationRuntime Verification- 18th International Conference, RV 2018, Proceedings
EditorsChristian Colombo, Martin Leucker
PublisherSpringer-Verlag
Pages3-17
Number of pages15
ISBN (Print)9783030037680
DOIs
StatePublished - Jan 1 2019
Event18th International Conference on Runtime Verification, RV 2018 - Limassol, Cyprus
Duration: Nov 10 2018Nov 13 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11237
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference18th International Conference on Runtime Verification, RV 2018
CountryCyprus
CityLimassol
Period11/10/1811/13/18

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Runtime verification-17 years later'. Together they form a unique fingerprint.

  • Cite this

    Havelund, K., & Roşu, G. (2019). Runtime verification-17 years later. In C. Colombo, & M. Leucker (Eds.), Runtime Verification- 18th International Conference, RV 2018, Proceedings (pp. 3-17). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11237). Springer-Verlag. https://doi.org/10.1007/978-3-030-03769-7_1