Paper Info
Title
RERS 2019: Combining Synthesis with Real-World Models
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.
Year
DOI
Venue
2019
10.1007/978-3-030-17502-3_7
tools and algorithms for construction and analysis of systems
Field
DocType
Citations 
Software engineering,Computer science,Theoretical computer science,Reachability,Automation,Obfuscation,Information society,Reactive system
Conference
0
PageRank 
References 
Authors
0.34
0
11
Name
Order
Citations
PageRank
Marc Jasper132.77
Malte Mues214.08
Alnis Murtovi311.71
Maximilian Schlüter400.34
Falk Howar539930.95
Bernhard Steffen64239423.70
Markus Schordan713.74
Dennis Hendriks800.34
R. R. H. Schiffelers911510.53
Harco Kuppens1000.34
Frits W. Vaandrager111195126.09