## Download Training Problems

The training phase of the RERS 2013 challenge has started! The old training problems (from RERS 2012) can be downloaded from here.

Below you find the nine problems for the training phase where each indiviual problems can be downloaded . Alternatively, a tarball containing all the problems is also provided.

### Problem Types:

**Language feature:** In terms of language feature there three types of problems – 1) plain 2) arithmetic and 3) array. The problems under the "plain" category include mere assignments over several basic types such as strings and integers. The problems under the "arithmetic" category additionally includes computation using integers and variables. Finally, the problems under the array category holds all the features of the “plain” and the “arithmetic” category and additionally includes operation on small arrays.

**Difficulty level:** On the basis of the degree of noise or obfuscation that has been put on top of the original code the difficulty levels of the problems have been assigned as easy, moderate, and hard. However, the behavior of the program has not been changed due to the obfuscation. The difficulty level “easy” means no obfuscation. In case of “moderate” and “hard” the size of the actual code has been artificially increased keeping the behavior indifferent, e.g., by inserting dead code.

**Problem Description:** There are three, behavioural and constructively indifferent, versions of each program. Two Java files, one with several variable types the other reduced to operating on integers, and a C file that also only operates on integers.
The properties file contains the LTL formula that are to be checked additionally to the reachability of error states.
Because of size limitations to Java methods the body of the operating
method has been split into many smaller parts. Inlining them into the
operating method for analysis reasons is possible, but will make the
compilation of the Java files impossible.