RERS 2019: combining synthesis with real-world models

Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon Schiffelers, Harco Kuppens, Frits W. Vaandrager

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

10 Citations (Scopus)
44 Downloads (Pure)

Abstract

This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthesized from real-world models. These new tracks comprise LTL, CTL, and Reachability properties. In addition, we have further improved our benchmark generation infrastructure for parallel programs towards a full automation. RERS 2019 is part of TOOLympics, an event that hosts several popular challenges and competitions. In this paper, we highlight the newly added industrial tracks and our changes in response to the discussions at and results of the last RERS Challenge in Cyprus.

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS
Subtitle of host publicationTOOLympics, Held as Part of ETAPS 2019, Proceedings
EditorsBernhard Steffen, Dirk Beyer, Fabrice Kordon, Marieke Huisman
Place of PublicationCham
PublisherSpringer
Pages101-115
Number of pages15
ISBN (Electronic)978-3-030-17502-3
ISBN (Print)978-3-030-17501-6
DOIs
Publication statusPublished - 2019
Event25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Prague, Czech Republic
Duration: 6 Apr 201911 Apr 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11429 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Country/TerritoryCzech Republic
CityPrague
Period6/04/1911/04/19

Keywords

  • Benchmark generation
  • CTL
  • LTL
  • Obfuscation
  • Program verification
  • Property-preservation
  • Synthesis
  • Temporal logics

Fingerprint

Dive into the research topics of 'RERS 2019: combining synthesis with real-world models'. Together they form a unique fingerprint.

Cite this