This page serves as a menu concerning the industrial problems of the RERS Challenge 2019. These problems are generated based on real-world models provided by ASML.
Please consult the following sub-pages:

• Training Phase: Small problems with solutions. These training problems allow participants to test their approach before an actual submission.
• Industrial LTL Problems: Actual challenge problems of the RERS 2019 Industrial LTL track. Reactive systems in C99 and Java based on real-world models.
• Industrial CTL Problems: Actual challenge problems of the RERS 2019 Industrial CTL track.
• Industrial Reachability Problems: Actual challenge problems of the RERS 2019 Industrial Reachability track.
• Problem description: Description of the benchmarks concerned with industrial programs.