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

Parallel Training Problems

The training phase for benchmarks concerning parallel programs is based on problems from previous years.

Please note that in contrast to this year's actual challenge problems, at most two parallel components share an alphabet symbol (action label) in the training problems below.

LTL Problems

In order to familiarize yourself with problems from the Parallel LTL track, please test your approach based on:

CTL Problems

In order to test your approach regarding the new Parallel CTL track, you can analyze the following six CTL properties based on last year's smallest parallel problem and compare your results to the provided solution. The solution can be found within the property file.