Second International Competition on Runtime Verification CRV 2015

time Verification (CRV-2015). The competition was held as a satel-lite event of the 15th International Conference on Runtime Verification (RV’15). The competition consisted of three tracks: offline monitoring, online monitoring of C programs, and online monitoring of Java pro-grams. This report describes the format of the competition, the partici-pating teams and submitted benchmarks. We give an example illustrat-ing the two main inputs expected from the participating teams, namely a benchmark (i.e., a program and a property on this program) and a monitor for this benchmark. We also propose some reflection based on the lessons learned.