Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

RERS 2019: Combining Synthesis with Real-World Models

 
: Jasper, Marc; Mues, Malte; Murtovi, Alnis; Schlüter, Maximilian; Howar, Falk; Steffen, Bernhard; Schordan, Markus; Hendriks, Dennis; Schiffelers, Ramon; Kuppens, Harco; Vaandrager, Frits

:

Beyer, D.:
Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019. Proceedings. Pt.III : Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019
Cham: Springer International Publishing, 2019 (Lecture Notes in Computer Science 11429)
ISBN: 978-3-030-17501-6 (Print)
ISBN: 978-3-030-17502-3 (Online)
S.101-115
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) <25, 2019, Prague>
European Joint Conference on Theory and Practice of Software (ETAPS) <22, 2019, Prague>
TOOLympics <2019, Prague>
Englisch
Konferenzbeitrag
Fraunhofer ISST ()

Abstract
This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from real-world models. These new tracks comprise LTL, CTL, and Reachability properties. In addition, we have further improved our benchmark generation infrastructure for parallel programs towards a full automation. RERS 2019 is part of TOOLympics, an event that hosts several popular challenges and competitions. In this paper, we highlight the newly added industrial tracks and our changes in response to the discussions at and results of the last RERS Challenge in Cyprus.

: http://publica.fraunhofer.de/dokumente/N-569750.html