RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification

M. Geske, M. Jasper, B. Steffen, F. Howar, M. Schordan, Jan Cornelis van de Pol

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

    13 Citations (Scopus)
    101 Downloads (Pure)


    The 5th challenge of Rigorous Examination of Reactive Systems (RERS 2016) once again provided generated and tailored benchmarks suited for comparing the effectiveness of automatic software verifiers. RERS is the only software verification challenge that features problems with linear temporal logic (LTL) properties in larger sizes that are available in different programming languages. This paper describes the revised rules and the refined profile of the challenge, which lowers the entry hurdle for new participants. The challenge format with its three tracks, their benchmarks, and the related LTL and reachability properties are explained. Special emphasis is put on changes that were implemented in RERS - compared to former RERS challenges. The competition comprised 18 sequential and 20 parallel benchmarks. The 20 benchmarks from the new parallel track feature LTL properties and a compact representation as labeled transition systems and Promela code.
    Original languageEnglish
    Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
    Subtitle of host publication7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
    EditorsT. Margaria, B. Steffen
    Place of PublicationBerlin
    Number of pages17
    ISBN (Electronic)978-3-319-47169-3
    ISBN (Print)978-3-319-47168-6
    Publication statusPublished - Oct 2016
    Event7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Corfu, Greece
    Duration: 10 Oct 201614 Oct 2016
    Conference number: 7

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
    Abbreviated titleISoLA 2016
    Internet address


    • CR-D.2.4
    • EWI-27827

    Cite this