The problems listed here represent smaller versions of the actual problems used during the RERS Challenge 2019. Problems 1 – 3 resemble problems from the Sequential LTL track, whereas those enumerated 11 – 13 represent problems from the Sequential Reachability track. As with the challenge problems, C99 and Java versions are available for each training problem.

For further information on these problems, please refer to the problem description and the Java code and C99 code description.

LTL Training Problems

A zip containing the LTL training problems and solutions can be downloaded here.

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

---

Reachability Training Problems

A zip containing the reachability training problems and solutions can be downloaded here.

plain, small	arithmetic, small	data structures, small
Problem11	Problem12	Problem13