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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...