Updates

  • Feb. 01, 2019:
       Sequential and industrial
       challenge problems released
  • Feb. 01, 2019:
       Parallel challenge problems    will be released asap
  • Jan. 25, 2019:
       Training problems
       now available

Important Dates:

  • Apr. 06 – 7, 2019:
       RERS at TACAS'19
       (TOOLympics)
  • Mar. 22, 2019:
       Solution submission
  • Feb. 01, 2019:
       Release of challenge
       problems
  • Jan. 25, 2019:
       Training problems
       available

Parallel Training Problems

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

In order to familiarize yourself with problems from the Parallel LTL and Parallel CTL tracks, please test your approach based on problems from the following pages: