International Competition on Runtime Verification (CRV)

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

Cited literature [35 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02433552
Contributor : Yliès Falcone <>
Submitted on : Thursday, January 9, 2020 - 11:18:18 AM
Last modification on : Saturday, January 11, 2020 - 1:06:30 AM

File

toolympics-19.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Ezio Bartocci, Yliès Falcone, Giles Reger. International Competition on Runtime Verification (CRV). Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019., Springer, pp.41-49, 2019, ⟨10.1007/978-3-030-17502-3_3⟩. ⟨hal-02433552⟩

Share

Metrics

Record views

26

Files downloads

27