First International Competition on Software for Runtime Verification

Ezio Bartocci (1) , Borzoo Bonakdarpour (2) , Yliès Falcone (3)

1 TU Wien - Vienna University of Technology = Technische Universität Wien
2 ECE - Department of Electrical and Computer Engineering [Waterloo]
3 LIG - Laboratoire d'Informatique de Grenoble

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.

Mots clés: Monitorage; Outil; Competition; Benchmarck

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués

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⟩