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

    10 Citations (Scopus)
    1 Downloads (Pure)

    Abstract

    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.
    Pages11-20
    Number of pages10
    ISBN (Electronic)978-1-4503-5077-8
    DOIs
    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
    http://conf.researchr.org/home/spin-2017

    Conference

    Conference24th International SPIN Symposium 2017
    Abbreviated titleSPIN 2017
    CountryUnited States
    CitySanta Barbara
    Period13/07/1714/07/17
    Internet address

      Fingerprint

    Keywords

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

    Cite this

    Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., van de Pol, J., ... Siegel, S. F. (2017). The RERS 2017 Challenge and Workshop. In Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (pp. 11-20). New York: ACM Inc.. https://doi.org/10.1145/3092282.3098206