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

doi:10.1007/978-3-030-17502-3_7

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

Software Engineering and Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

13 Citations (Scopus)

91 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 language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS
Subtitle of host publication	TOOLympics, Held as Part of ETAPS 2019, Proceedings
Editors	Bernhard Steffen, Dirk Beyer, Fabrice Kordon, Marieke Huisman
Place of Publication	Cham
Publisher	Springer
Pages	101-115
Number of pages	15
ISBN (Electronic)	978-3-030-17502-3
ISBN (Print)	978-3-030-17501-6
DOIs	https://doi.org/10.1007/978-3-030-17502-3_7
Publication status	Published - 2019
Event	25th 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 2019 → 11 Apr 2019

Publication series

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

Conference

Conference	25th 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/Territory	Czech Republic
City	Prague
Period	6/04/19 → 11/04/19

Funding

Acknowledgments. This work was partially performed under the auspices of the U.S. Department of Energy by Lawrence Livermore National Laboratory under Contract DE-AC52-07NA27344, and was supported by the LLNL-LDRD Program under Project No. 17-ERD-023. IM Release Nr. LLNL-CONF-766478.

Keywords

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

Access to Document

10.1007/978-3-030-17502-3_7

publishers versionFinal published version, 909 KB

Cite this

Jasper, M., Mues, M., Murtovi, A., Schlüter, M., Howar, F., Steffen, B., Schordan, M., Hendriks, D., Schiffelers, R., Kuppens, H., & Vaandrager, F. W. (2019). RERS 2019: combining synthesis with real-world models. In B. Steffen, D. Beyer, F. Kordon, & M. Huisman (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings (pp. 101-115). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11429 LNCS). Springer. https://doi.org/10.1007/978-3-030-17502-3_7

Jasper, Marc ; Mues, Malte ; Murtovi, Alnis et al. / RERS 2019 : combining synthesis with real-world models. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. editor / Bernhard Steffen ; Dirk Beyer ; Fabrice Kordon ; Marieke Huisman. Cham : Springer, 2019. pp. 101-115 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b3dd8fed21514f748bd90c8743570d75,

title = "RERS 2019: combining synthesis with real-world models",

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.",

keywords = "Benchmark generation, CTL, LTL, Obfuscation, Program verification, Property-preservation, Synthesis, Temporal logics",

author = "Marc Jasper and Malte Mues and Alnis Murtovi and Maximilian Schl{\"u}ter and Falk Howar and Bernhard Steffen and Markus Schordan and Dennis Hendriks and Ramon Schiffelers and Harco Kuppens and Vaandrager, {Frits W.}",

year = "2019",

doi = "10.1007/978-3-030-17502-3_7",

language = "English",

isbn = "978-3-030-17501-6",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "101--115",

editor = "Bernhard Steffen and Dirk Beyer and Fabrice Kordon and Marieke Huisman",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS",

address = "Germany",

note = "25th 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 ; Conference date: 06-04-2019 Through 11-04-2019",

}

Jasper, M, Mues, M, Murtovi, A, Schlüter, M, Howar, F, Steffen, B, Schordan, M, Hendriks, D, Schiffelers, R, Kuppens, H & Vaandrager, FW 2019, RERS 2019: combining synthesis with real-world models. in B Steffen, D Beyer, F Kordon & M Huisman (eds), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11429 LNCS, Springer, Cham, pp. 101-115, 25th 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, 6/04/19. https://doi.org/10.1007/978-3-030-17502-3_7

RERS 2019: combining synthesis with real-world models. / Jasper, Marc; Mues, Malte; Murtovi, Alnis et al.
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. ed. / Bernhard Steffen; Dirk Beyer; Fabrice Kordon; Marieke Huisman. Cham: Springer, 2019. p. 101-115 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11429 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - RERS 2019

T2 - 25th 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

AU - Jasper, Marc

AU - Mues, Malte

AU - Murtovi, Alnis

AU - Schlüter, Maximilian

AU - Howar, Falk

AU - Steffen, Bernhard

AU - Schordan, Markus

AU - Hendriks, Dennis

AU - Schiffelers, Ramon

AU - Kuppens, Harco

AU - Vaandrager, Frits W.

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

KW - Benchmark generation

KW - CTL

KW - LTL

KW - Obfuscation

KW - Program verification

KW - Property-preservation

KW - Synthesis

KW - Temporal logics

UR - http://www.scopus.com/inward/record.url?scp=85064915589&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-17502-3_7

DO - 10.1007/978-3-030-17502-3_7

M3 - Conference contribution

AN - SCOPUS:85064915589

SN - 978-3-030-17501-6

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 101

EP - 115

BT - Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS

A2 - Steffen, Bernhard

A2 - Beyer, Dirk

A2 - Kordon, Fabrice

A2 - Huisman, Marieke

PB - Springer

CY - Cham

Y2 - 6 April 2019 through 11 April 2019

ER -

Jasper M, Mues M, Murtovi A, Schlüter M, Howar F, Steffen B et al. RERS 2019: combining synthesis with real-world models. In Steffen B, Beyer D, Kordon F, Huisman M, editors, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Cham: Springer. 2019. p. 101-115. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-17502-3_7

RERS 2019: combining synthesis with real-world models

Abstract

Publication series

Conference

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this