Training Problems for RERS 2015
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 |