Updates

Important Dates:

  • Nov. 08, 2018:
       RERS at ISoLA'18
  • Oct. 01 – Oct. 14, 2018:
       Solution Submission
  • Aug. 22, 2018:
       Release Parallel LTL
  • Jul. 18, 2018:
       Release Sequential LTL and
       Sequential Reachability
  • Jul. 18, 2018:
       Training benchmarks
       available

Sequential Training Problems

The problems listed here represent smaller versions of the actual problems used during the RERS Challenge 2018. Problems 1 – 3 resemble problems from the Sequential LTL track, whereas those enumerated 4 – 6 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.

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 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
Problem4 Problem5 Problem6