Updates

  • Apr. 18, 2019:
        Results online
  • Mar. 13, 2019:
        C code of industrial training     problems and reachability
        problem m106 updated
  • Mar. 09, 2019:
       IMPORTANT: C99 code of    sequential and industrial    challenge problems replaced
  • Feb. 27, 2019:
       Parallel LTL/CTL problems &     training problems released
  • Feb. 01, 2019:
       Sequential and industrial
       challenge problems released
  • Feb. 01, 2019:
       Parallel challenge problems    will be released asap
  • Jan. 25, 2019:
       Training problems
       now available

Important Dates:

  • Apr. 06 – 7, 2019:
       RERS at TACAS'19
       (TOOLympics)
  • Mar. 22, 2019:
       Solution submission
  • Feb. 01, 2019:
       Release of challenge
       problems
  • Jan. 25, 2019:
       Training problems
       available

Sequential Training Problems

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