HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Abstract : The first international Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference on Runtime Verification (RV’14). The event was organized in three tracks: (1) offline monitoring, (2) online monitoring of C programs, and (3) online monitoring of Java programs. In this paper, we report on the phases and rules, a description of the participating teams and their submitted benchmark, the (full) results, as well as the lessons learned from the competition.
Document type :
Journal articles
Complete list of metadata

https://hal-cea.archives-ouvertes.fr/cea-01845191
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Friday, July 20, 2018 - 11:10:48 AM
Last modification on : Thursday, February 17, 2022 - 10:08:06 AM

Links full text

Identifiers

Citation

E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, et al.. First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, pp.1-40. ⟨10.1007/s10009-017-0454-5⟩. ⟨cea-01845191⟩

Share

Metrics

Record views

27