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. 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 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 2016, the overall layout and language features remain the same. A zip containing the LTL training problems and solutions can be downloaded here.

plain, small	arithmetic, small	data structures, small
Problem1	Problem2	Problem3

---

Reachability Problems

The reachability problems are similar to the problems of RERS 2016. The reachability of calls to external functions has to be verified. A zip containing the reachability training problems and solutions can be downloaded here.

plain, small	arithmetic, small	data structures, small
Problem4	Problem5	Problem6