First International Competition on Software for Runtime Verification - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

First International Competition on Software for Runtime Verification

Résumé

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.
Fichier principal
Vignette du fichier
rv14-2.pdf (222.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01120552 , version 1 (26-02-2015)

Identifiants

Citer

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⟩
86 Consultations
167 Téléchargements

Altmetric

Partager

More