RERS challenge call for participation, deadline October 14

by Jeroen Meijer, Aug. 23, 2018

RERS challenge call for participation, deadline October 14

Rigorous Examination of Reactive Systems (RERS)

The RERS Challenge 2018 is the 8th International Challenge on the Rigorous Examination of Reactive Systems and is co-located with the ISoLA Symposium 2018.
RERS is designed to encourage software developers and researchers to apply and combine their tools and approaches in a freestyle 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.

For more information please visit:

The Challenge

The challenge consists of two types of problems, sequential problems and parallel problems, each with increasing difficulty.

  • The sequential problems are made available as both Java and C sources. The sequential problems are available since July 18.
  • The parallel problems are made available as Petri nets (PNML) and parallel transition systems (dot). These problems have just been released. A Promela (PML) version is planned to be released soon.

Your solutions can be submitted until October 14, through Participants are invited to briefly present their approach at the RERS meeting (date TBD).

For both types of problems, we have training data as well. This allows every participant to check the correctness of their approach before submitting their solution.

Important Dates

  • 18/07/18: Release of sequential and parallel training problems
  • 18/07/18: Release of sequential problems, and properties
  • 22/08/18: Release of parallel problems, and properties
  • 01/10/18 - 14/10/18: Submission of solutions
  • TBD: Presentation of results at the ISoLA Symposium

RERS 2018 Organizers

  • Scientific committee:
    • Falk Howar, Technische Universität Dortmund, Germany
    • Markus Schordan, Lawrence Livermore National Laboratory, CA, USA
    • Bernhard Steffen, Technische Universität Dortmund, Germany
    • Jaco van de Pol, University of Twente, the Netherlands
  • Benchmark generation committee:
    • Sequential benchmarks: Malte Mues, Technische Universität Dortmund, Germany
    • Parallel benchmarks: Marc Jasper, Technische Universität Dortmund, Germany
  • Publicity committee:
    • Jeroen Meijer, University of Twente, the Netherlands


For any questions and inquiries, please contact us at [email protected].