Skip to Main content Skip to Navigation
Conference papers

Second International Competition on Runtime Verification: CRV 2015

Abstract : We report on the Second International Competition on Run-time Verification (CRV-2015). The competition was held as a satellite event of the 15th International Conference on Runtime Verification (RV'15). The competition consisted of three tracks: o✏ine monitoring, online monitoring of C programs, and online monitoring of Java programs. This report describes the format of the competition, the participating teams and submitted benchmarks. We give an example illustrating the two main inputs expected from the participating teams, namely a benchmark (i.e., a program and a property on this program) and a monitor for this benchmark. We also propose some reflection based on the lessons learned.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01248351
Contributor : Yliès Falcone <>
Submitted on : Monday, December 28, 2015 - 2:12:06 PM
Last modification on : Tuesday, November 24, 2020 - 5:06:02 PM

File

rv15-4.pdf
Files produced by the author(s)

Licence


Copyright

Identifiers

Collections

Citation

Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma. Second International Competition on Runtime Verification: CRV 2015. 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_27⟩. ⟨hal-01248351⟩

Share

Metrics

Record views

457

Files downloads

515