• Jan. 12th, 2021:
        Results online
  • Oct. 2nd, 2020:
       Parallel problems released
  • Sept 8th, 2020:
       Submission dates changed    (see below)
  • July 27th, 2020:
       Sequential challenge    problems released. Parallel    problems will follow soon.
  • July 17th, 2020:
       Submission dates changed    (August → September)
  • May 18th, 2020:
       Sequential training problems    released
  • May 5th, 2020:
       Important dates announced

Important Dates:

  • Dec. 14th, 2020:
       RERS event (held virtually)
  • Nov. 15th, 2020:
       Submission, parallel tracks
  • Oct. 9th, 2020:
       Final submission, sequential
  • Oct. 2nd, 2020:
       Initial submission, sequential
  • Oct. 2nd, 2020:
       Parallel problems
  • July 27th, 2020:
       Sequential problems
  • May 18th, 2020:
       Training problems

Call for Participation

The goal of RERS 2020 is to compare a diverse range of software verification tools. Participants are welcome to test their tools on the provided benchmarks and participate in the RERS 2020 Challenge. Additionally, we value feedback regarding certain programming languages and features that should be added to RERS.

The challenge features the following tracks:

All programs from the sequential tracks are available as Java and C99 code. The Parallel LTL track is available as Promela code, Petri nets (PNML syntax), and a plain representation consisting of parallel labeled transition systems (Graphviz).

The competition will proceed as follows:

  • Training phase: Participants are invited to test their tools on a set of training problem or challenge problems from previous years. Solutions to the corresponding verification tasks are provided.
  • Challenge phase: Participants can test their tools on the provided challenge problems and generate their proposed solutions.
  • RERS Event: After the solution submission deadline (see "Important Dates" on the left-hand side of this page), all submitted solutions will be evaluated. Participants can earn Achievements or ranking scores (see rewards). Achievements and the ranking winners will be announced at the RERS event.

For more details on the challenge, please look at the how-to page, sequential or parallel problem description, and challenge rules. The evaluation thresholds and possible achievements are described on the rewards page.