Each participant is invited to shortly present his or her approach on the challenge at the RERS meeting.

The RERS 2017 parallel problems have been updated: The LTL properties of problems 112, 113, 114, and 115 changed slightly.

Please note that for problems from the "State Space" category (see below), some property results differ between the Promela code and other formats.

The parallel problems of RERS 2017 can be downloaded here.

Details on their semantics, the provided properties, and the available formats can be found on the parallel problem description page.

---

The benchmarks from RERS 2017's Parallel Track are organized into the two categories "Concurrency Ladder" and "State Space". The former features systems with an increasing number of parallel components, whereas the latter is structured according to the number of globally reachable states. Achievements are awarded separately for each of these categories. The following illustration shows which problems count towards what achievement threshold (Bronze, Silver, and Gold).