Updates

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

Imprint

RERS is initiated and hosted by:                                                                                          

Bernhard Steffen
Chair of Programming Systems
Department of Computer Science
TU Dortmund
Otto-Hahn-Straße 14
44227 Dortmund

Contact: Bernhard Steffen
Tel.: +49 (0) 231 755 5800
Fax.: +49 (0) 231 755 5802