Organisation

The general organisation of the competition was described in

Giles Reger, Sylvain Hallé, and Yliès Falcone. Third International Competition on Runtime Verification CRV 2016. RV 2016, LNCS, pp. 21-37, 2016.

The competition made use of a wiki, which is still available at http://crv.liflab.ca/wiki

Results

The results were detailed in the above publication. Only two tracks ran this year and the participants and winners were as follows:

In the Java track the participants where Larva, MarQ and Mufin and the winner was Mufin.

In the Offline track the participants were BeepBeep 3 and MarQ and the winner was MarQ.