Full metadata record
DC Field | Value | Language |
---|---|---|
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.identifier.uri | http://hdl.handle.net/2003/40965 | - |
dc.identifier.uri | http://dx.doi.org/10.17877/DE290R-22815 | - |
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.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.title | The RERS challenge: towards controllable and scalable benchmark synthesis | en |
dc.type | Text | de |
dc.type.publicationtype | article | de |
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 |
dcterms.accessRights | open access | - |
eldorado.secondarypublication | true | de |
eldorado.secondarypublication.primaryidentifier | https://doi.org/10.1007/s10009-021-00617-z | de |
eldorado.secondarypublication.primarycitation | International journal on software tools for technology transfer. Band 23. 2021, Seiten 917-930 | en |
Appears in Collections: | LS 05 Programmiersysteme |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Howar2021_Article_TheRERSChallengeTowardsControl.pdf | 495.08 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
This item is licensed under a Creative Commons License