The RERS challenge: towards controllable and scalable benchmark synthesis

Howar, Falk; Jasper, Marc; Mues, Malte; Steffen, Bernhard; Schmidt, David

The RERS challenge: towards controllable and scalable benchmark synthesis

dc.contributor.author	Howar, Falk
dc.contributor.author	Jasper, Marc
dc.contributor.author	Mues, Malte
dc.contributor.author	Steffen, Bernhard
dc.contributor.author	Schmidt, David
dc.date.accessioned	2022-06-17T12:57:45Z
dc.date.available	2022-06-17T12:57:45Z
dc.date.issued	2021-06-24
dc.description.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.	en
dc.identifier.uri	http://hdl.handle.net/2003/40965
dc.identifier.uri	http://dx.doi.org/10.17877/DE290R-22815
dc.language.iso	en	de
dc.relation.ispartofseries	International journal on software tools for technology transfer;Bd 23. 2021, S. 917-930
dc.rights.uri	http://creativecommons.org/licenses/by/4.0/
dc.subject	Benchmark generation	en
dc.subject	Verification competitions	en
dc.subject	Error witnesses	en
dc.subject	Temporal logic	en
dc.subject	LTL synthesis	en
dc.subject	Büchi automata	en
dc.subject	Modal contracts	en
dc.subject	Parallel decomposition	en
dc.subject	Model checking	en
dc.subject	Bisimulation checking	en
dc.subject.ddc	004
dc.subject.rswk	Benchmark	de
dc.subject.rswk	Richtigkeit von Ergebnissen	de
dc.subject.rswk	Fehlermeldung	de
dc.subject.rswk	Temporale Logik	de
dc.subject.rswk	Logiksynthese	de
dc.subject.rswk	Büchi-Automat	de
dc.subject.rswk	Modallogik	de
dc.subject.rswk	Dekomposition	de
dc.subject.rswk	Model Checking	de
dc.subject.rswk	Bisimulation	de
dc.title	The RERS challenge: towards controllable and scalable benchmark synthesis	en
dc.type	Text	de
dc.type.publicationtype	article	de
dcterms.accessRights	open access
eldorado.secondarypublication	true	de
eldorado.secondarypublication.primarycitation	International journal on software tools for technology transfer. Band 23. 2021, Seiten 917-930	en
eldorado.secondarypublication.primaryidentifier	https://doi.org/10.1007/s10009-021-00617-z	de

Files

Original bundle

Now showing 1 - 1 of 1

Name:: Howar2021_Article_TheRERSChallengeTowardsControl.pdf
Size:: 495.08 KB
Format:: Adobe Portable Document Format
Description:

Download

License bundle

Now showing 1 - 1 of 1

Name:: license.txt
Size:: 4.85 KB
Format:: Item-specific license agreed upon to submission
Description:

Download

Collections

LS 05 Programmiersysteme