First International Competition on Software for Runtime Verification

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.