Main Page

This is the Wiki site for CRV 2016, the 3rd International Competition on Runtime Verification. This site describes the benchmarks and monitors submitted by each participant and also the specifications from each participant competing on that benchmark.

The organisers are Ylies Falcone [1], Giles Reger [2] and Sylvain Halle [3]

For queries contact crv2016@crv.liflab.ca, please do not contact the organisers directly

Important Dates

Registration		May 1st - June 10th
Benchmark Collection		May 1st - June 6th
Clarifications		June 10th - June 24th
Monitor Collection		July 1st - July 18th
Results		August 1st

Rules

Please refer to <link to rules document>

Tracks

The tracks in this year's competition are as follows:

• Offline track
• Java track
• C track