This year's RERS Challenge is co-located with RV '15, thus this time there are also problems tailored to address the runtime verification community. The problems listed here are a simple and small one, a more complex version and a larger complex version. A problem comes in two types, a white-box version known from previous RERS editions and a runtime verification version. For each type a Java and C version are available.

For further information about the code layout please read the Java-code and C-code description.

White-Box Problems

The white-box problems are similar to the problems of RERS 2014 with no changes to the overall layout and language features.

simple, small	complex, small	complex, medium
Problem1.java Problem1.c	Problem2.java Problem2.c	Problem3.java Problem3.c
solution constraints file	solution constraints file	solution constraints file

---

RV Problems

The runtime verification problems are composed of two source files. The main source file is very similar to the white-box problems and contains a major part of the program logic. However, some functionality is moved to external methods, defined in a separate source file. The semantics of these external methods are subject to change, and the source file should not be modified for instrumentation purposes. In the challenge the final file will be released one or two days before the submission deadline, here we already provided the correct version.

simple, small	complex, small	complex, medium
Problem1.java External.java Problem1.c External.c	Problem2.java External.java Problem2.c External.c	Problem3.java External.java Problem3.c External.c
solution constraints file traces file	solution constraints file traces file	solution constraints file traces file