• 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
  • Mar. 22, 2019:
       Solution submission
  • Feb. 01, 2019:
       Release of challenge
  • Jan. 25, 2019:
       Training problems

Challenge Rules

In order to participate in the RERS Challenge 2019, please submit your results according to the instructions on the submission page. There are no constraints on the application of methods, so participants can modify the source code in any way imaginable. In particular, participants are not constrained to their own tools.

The submission page also explains options for opting-out of individual tracks or rankings. The scoring scheme is explained on the rewards page.

Because RERS only requires the submission of proposed "true" / "false" solutions to the verification tasks that are contained within each problem, no tool has to be submitted. As the correct solutions are unknown to participants during the challenge, there is furthermore no need to provide any verification witnesses such as error traces. For winning an evaluation-based award however (see rewards), it is necessary to also describe the employed approach that was used to generate the submitted "true" / "false" answers.