Authors: Howar, Falk
Jasper, Marc
Mues, Malte
Steffen, Bernhard
Schmidt, David
Title: The RERS challenge: towards controllable and scalable benchmark synthesis
Language (ISO): en
Abstract: This paper (1) summarizes the history of the RERS challenge for the analysis and verification of reactive systems, its profile and intentions, its relation to other competitions, and, in particular, its evolution due to the feedback of participants, and (2) presents the most recent development concerning the synthesis of hard benchmark problems. In particular, the second part proposes a way to tailor benchmarks according to the depths to which programs have to be investigated in order to find all errors. This gives benchmark designers a method to challenge contributors that try to perform well by excessive guessing.
Subject Headings: Benchmark generation
Verification competitions
Error witnesses
Temporal logic
LTL synthesis
Büchi automata
Modal contracts
Parallel decomposition
Model checking
Bisimulation checking
Subject Headings (RSWK): Benchmark
Richtigkeit von Ergebnissen
Temporale Logik
Model Checking
Issue Date: 2021-06-24
Rights link:
Appears in Collections:LS 05 Programmiersysteme

Files in This Item:
File Description SizeFormat 
Howar2021_Article_TheRERSChallengeTowardsControl.pdf495.08 kBAdobe PDFView/Open

This item is protected by original copyright

This item is licensed under a Creative Commons License Creative Commons