Home
2018
Sequential Problems
Training Phase
LTL problems
Reachability problems
Problem Description
Overview
C99 Code
Java Code
Parallel Problems
Training Phase
LTL Problems
CTL Problems
Problem Description
Participation
Call for Participation
How to proceed
Challenge Rules
Rewards & Achievements
Submission
Event
Organization
Results
Updates
Nov 27, 2018:
Results
available
Oct. 10, 2018:
Parallel CTL training
problem released
Sept. 14, 2018:
Parallel CTL
benchmarks released
Aug. 31, 2018:
Promela version
of Parallel LTL benchmarks released
Aug. 22, 2018:
Parallel LTL
benchmarks released
July 18, 2018:
Sequential Reachability
and
Sequential LTL
benchmarks released
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 available
Contact
For any questions and inquiries, please contact us at
info@rers-challenge.org
.