Second International Competition on Runtime Verification - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Second International Competition on Runtime Verification


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.
Fichier principal
Vignette du fichier
rv15-4.pdf (489.2 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01248351 , version 1 (28-12-2015)





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⟩
179 View
191 Download



Gmail Facebook Twitter LinkedIn More