Important Dates:

  • Nov. 08, 2018:
       RERS at ISoLA'18
  • Oct. 01 – Oct. 14, 2018:
       Solution Submission
  • Aug. 22, 2018:
       Release Parallel LTL
  • Jul. 18, 2018:
       Release Sequential LTL and
       Sequential Reachability
  • Jul. 18, 2018:
       Training benchmarks

Download Reachability Problems

Each participating team is invited to briefly present their approach to the RERS benchmarks at the corresponding event.

Note that these problems cannot be compiled as downloaded because of a missing implementation of the __VERIFIER_error(int). Please read the Java-code and C99-code description for compilation assistance. Other useful information can be found on the problem description page.

The problems are provided as a .zip archive.

Sequential Reachability Problems

The following table provides an overview of this year's challenge problems in the Sequential Reachability track. Bronze, silver, and gold backgrounds refer to the corresponding achievements.
size plain, simple arithmetic, medium data structures, hard
small Problem10 Problem11 Problem12
medium Problem13 Problem14 Problem15
large Problem16 Problem17 Problem18