Unknown page requested: 'submission'
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