Skip to Main content Skip to Navigation
Conference papers

First International Competition on Software for Runtime Verification

Abstract : We report on the process of organizing the First International Competition on Software for Runtime Verification (CSRV). This includes the procedures, participating teams, submitted benchmarks, and evaluation process. The competition was held as a satellite event of of the 14th International Conference on Runtime Verification (RV'14). The Competition was organized in three tracks: offline monitoring, online monitoring of C programs, and online monitoring of Java programs.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01120552
Contributor : Yliès Falcone <>
Submitted on : Thursday, February 26, 2015 - 4:58:37 AM
Last modification on : Friday, July 17, 2020 - 11:10:23 AM
Long-term archiving on: : Wednesday, May 27, 2015 - 11:40:25 AM

File

rv14-2.pdf
Files produced by the author(s)

Identifiers

Collections

CNRS | LIG | UGA

Citation

Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone. First International Competition on Software for Runtime Verification. 14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_1⟩. ⟨hal-01120552⟩

Share

Metrics

Record views

232

Files downloads

371