*Rigorous Examination of Reactive Systems (RERS)*
The RERS Challenge 2018 is the 8th International Challenge on the
Rigorous Examination of Reactive Systems and is co-located with the
ISoLA Symposium 2018.
RERS is designed to encourage software developers and researchers to
apply and combine their tools and approaches in a freestyle manner to
answer evaluation questions for reachability and LTL formulas on
specifically designed benchmarks. The goal of this challenge is to
provide a basis for the comparison of verification techniques and
available tools.
/For more information please visit/: http://www.rers-challenge.org/2018.
*The Challenge*
The challenge consists of two types of problems, sequential problems and
parallel problems, each with increasing difficulty.
* The sequential problems
<http://www.rers-challenge.org/2018/index.php?page=sequentialProblemsHead>
are made available as both Java and C sources. The sequential
problems are available since July 18.
* The parallel problems
<http://www.rers-challenge.org/2018/index.php?page=parallelProblemsHead>
are made available as Petri nets (PNML) and parallel transition
systems (dot). These problems have just been released. A Promela
(PML) version is planned to be released soon.
Your solutions can be submitted until October 14, through
http://www.rers-challenge.org/2018/index.php?page=submit. Participants
are invited to briefly present their approach at the RERS meeting (date
TBD).
For both types of problems, we have training data as well. This allows
every participant to check the correctness of their approach before
submitting their solution.
*Important Dates*
* 18/07/18: Release of sequential and parallel training problems
* 18/07/18: Release of sequential problems, and properties
* 22/08/18: Release of parallel problems, and properties
* 01/10/18 - 14/10/18: Submission of solutions
* TBD: Presentation of results at the ISoLA Symposium
*RERS 2018 Organizers*
* *Scientific committee*:
o Falk Howar, Technische Universität Dortmund, Germany
o Markus Schordan, Lawrence Livermore National Laboratory, CA, USA
o Bernhard Steffen, Technische Universität Dortmund, Germany
o Jaco van de Pol, University of Twente, the Netherlands
* *Benchmark generation committee*:
o Sequential benchmarks: Malte Mues, Technische Universität
Dortmund, Germany
o Parallel benchmarks: Marc Jasper, Technische Universität
Dortmund, Germany
* *Publicity committee*:
o Jeroen Meijer, University of Twente, the Netherlands
*Contact*
For any questions and inquiries, please contact us at
[email protected] <mailto:[email protected]>.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
