The RERS 2017 Challenge and Workshop

Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    14 Citations (Scopus)
    1 Downloads (Pure)


    RERS is an annual verification challenge that focuses on LTL and reachability properties of reactive systems. In 2017, RERS was extended to a one day workshop that in addition to the original challenge program also featured an invited talk about possible future developments. As a satellite of ISSTA and SPIN, the 2017 RERS Chal- lenge itself increased emphasis on the parallel benchmark problems which, like their sequential counterparts, were generated using property-preserving transformations in order to scale their level of difficulty. The first half of the RERS workshop focused on the 2017 benchmark profiles, the evaluation of the received contributions, and short presentations of each participating team. The second half comprised discussions about attractive problem scenarios for future benchmarks, like race detection, the topic of the invited talk, and about systematic ways to leverage a tool’s performance based on competition benchmarks and machine learning.
    Original languageEnglish
    Title of host publicationProceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
    Place of PublicationNew York
    PublisherACM Inc.
    Number of pages10
    ISBN (Electronic)978-1-4503-5077-8
    Publication statusPublished - Jul 2017
    Event24th International SPIN Symposium 2017: Model Checking of Software - University of California, Santa Barbara, United States
    Duration: 13 Jul 201714 Jul 2017
    Conference number: 24


    Conference24th International SPIN Symposium 2017
    Abbreviated titleSPIN 2017
    Country/TerritoryUnited States
    CitySanta Barbara
    Internet address


    • benchmark generation
    • modal transition systems
    • race analysis
    • property-preservation
    • temporal logic
    • verification
    • model checking


    Dive into the research topics of 'The RERS 2017 Challenge and Workshop'. Together they form a unique fingerprint.

    Cite this