International Competition on Runtime Verification (CRV)

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

Abstract

We review the first five years of the international Competition on Runtime Verification (CRV), which began in 2014. Runtime verification focuses on verifying system executions directly and is a useful lightweight technique to complement static verification techniques. The competition has gone through a number of changes since its introduction, which we highlight in this paper.

Bibliographical metadata

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS
Subtitle of host publicationTOOLympics, Held as Part of ETAPS 2019, Proceedings
EditorsBernhard Steffen, Fabrice Kordon, Dirk Beyer, Marieke Huisman
PublisherSpringer Nature
Pages41-49
Number of pages9
ISBN (Print)9783030175016
DOIs
Publication statusPublished - 4 Apr 2019
Event25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software - Prague, Czech Republic
Event duration: 6 Apr 201911 Apr 2019

Publication series

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

Conference

Conference25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software
Abbreviated titleETAPS 2019
CountryCzech Republic
CityPrague
Period6/04/1911/04/19