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 CTL Problems

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

Update (Oct. 10, 2018): A small training problem with CTL properties is now available based on a request by participants.

The Parallel CTL track of RERS 2018 is an experimental addition without corresponding achievement certificates. Its goal is to evaluate if computational tree logic (CTL) benchmarks are helpful for tool developers and to collect corresponding feedback from participants.

This track consists of the three problems 101, 102, and 103 from the Parallel LTL track, however with three CTL properties instead of 20 LTL properties for each problem.

The CTL properties are provided as a .zip archive. In order to download the corresponding models, please visit the Parallel LTL page.

A description of the CTL syntax and semantics can be found here.

Because the models are the same as in the Parallel LTL track, each problem is available as a Petri net (.pnml), as Promela code (.pml), and as a system of parallel transition systems (.dot). For a description of the models themselves, please refer to the problem description page.