Training Problems for RERS 2016
Additional training problems (5 to 16) and Self-Evaluation tool were added on 21.06.2016 Due to confusion about the semantic interpretation of the modulo operator and the integer range: the C code is to be interpretet as C99 and the inter range for all integers is asumed to be 32 bit.
The problems listed here are a simple and small one and a small complex version to exhibit both extremes. The problems come in two types, LTL and reachability problems that are similar to the versions from previous RERS editions. The two evaulation tasks are now evaluated on separate problems though to get rid the error-free semantic of RERS 2015. For each type a Java and C version are available.
For further information about the code layout and semantics (we use C99 semantics) please read the Java-code and C99 code-code description.
Self-Evaluation tool
To ease the entry hurdle you can use our Self-Evaluation tool to compare your results for the training problems with the provided solutions. It will calculate your points and point out your mistakes!
LTL Problems
The LTL problems are similar to the problems of RERS 2015 without the error label check, the overall layout and language features remain the same. A zip containing the LTL training problems and solutions can be downloaded here.
simple, small | complex, small |
Problem1 | Problem2 |
plain, small | arithmetic, small | data structures, small |
Problem5 | Problem6 | Problem7 |
Problem8 | Problem9 | Problem10 |
Reachability Problems
The reachability problems are similar to the problems of RERS 2015. The difference is that no LTL formulas have to be verified. The syntax of the errors has been changed, instead of label the reachability of a call of an external function has to be verified. A zip containing the reachability training problems and solutions can be downloaded here.
simple, small | complex, small |
Problem3 | Problem4 |
plain, small | arithmetic, small | data structures, small |
Problem11 | Problem12 | Problem13 |
Problem14 | Problem15 | Problem16 |