Important Dates:

  • Oct. 30 – Nov. 13 (tba), 2018:
       RERS at ISoLA'18
  • Oct. 01 – Oct. 14, 2018:
       Solution Submission
  • Aug. 20, 2018:
       Release Parallel LTL
  • Jul. 18, 2018:
       Release Sequential LTL and
       Sequential Reachability
  • Jul. 18, 2018:
       Training benchmarks

Challenge Rules

In order to participate in the RERS Challenge 2018, 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.