Important Dates:

  • July 31th, 2022:
       Final submission, sequential
  • May 31st, 2022:
       Sequential problems
  • April 4th, 2022:
       Training problems

The RERS Challenge 2022

Part of ISoLA'22,
Rhodes, Greece, October 24 – November 3, 2022

Rigorous Examination of Reactive Systems (RERS)

The RERS Challenge 2022 is the 11th International Challenge on the Rigorous Examination of Reactive Systems and is co-located with ISoLA'22. RERS is designed to encourage software developers and researchers to apply and combine their tools and approaches in a free-style manner to answer evaluation questions for reachability and LTL formulas on specifically designed benchmarks. The goal of this challenge is to provide a basis for the comparison of verification techniques and available tools.

The main aims of RERS 2022 are:

  • Encourage the combination of usually different research fields for better software verification results.
  • Provide a comparison foundation based on differently tailored benchmarks that reveals the strengths and weaknesses of specific approaches.
  • Initiate a discussion for better benchmark generation reaching out across the usual community barriers to provide benchmarks useful for testing and comparing a wide variety of tools.

Each benchmark scenario (set of verification tasks, often simply called "problem") of RERS consists of a reactive system in some specification or programming language and a set of properties that participants need to check on that given system. Participants of RERS only need to submit their proposed solutions to these verification tasks. A submission of a tool is not required. What distinguishes RERS from other challenges is that these benchmark scenarios can be approached in a free-style manner: It is highly encouraged to combine any known and newly conceived approaches to software verification. In particular, participants are not constrained to their own tools.

Available Tracks

The main tracks of RERS 2022 are similar to those from 2020:
  • Sequential LTL
  • Sequential Reachability

Ways to Publish Results

For participants of the challenge, there exists a RERS track at ISoLA'22 to feature their approaches in peer-reviewed publications.


For any questions and inquiries, please contact us at info@rers-challenge.org.

RERS 2022 Organizers

    Scientific committee:
    • Falk Howar, Technische Universität Dortmund, Germany
    • Marc Jasper, Lawrence Livermore National Laboratory, CA, USA
    • Bernhard Steffen, Technische Universität Dortmund, Germany
    Benchmark generation committee:
    • Sequential benchmarks: David Schmidt, Technische Universität Dortmund, Germany
    • Neural benchmarks: Gerrit Nolte and Maximilian Schlüter, Technische Universität Dortmund, Germany