This page is about the 2016 iteration of the competition.


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


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.