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

  • 1 Citations

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
Pages11-20
Number of pages10
DOIs
StatePublished - Jul 2017
Event24th International SPIN Symposium 2017 - Santa Barbara, United States

Conference

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

Fingerprint

Learning systems

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., Pol, J. V. D., ... Siegel, S. F. (2017). The RERS 2017 Challenge and Workshop. 11-20. Paper presented at 24th International SPIN Symposium 2017, Santa Barbara, United States.DOI: 10.1145/3092282.3098206

Jasper, Marc; Fecke, Maximilian; Steffen, Bernhard; Schordan, Markus; Meijer, Jeroen; Pol, Jaco van de; Howar, Falk; Siegel, Stephen F. / The RERS 2017 Challenge and Workshop.

2017. 11-20 Paper presented at 24th International SPIN Symposium 2017, Santa Barbara, United States.

Research output: Scientific - peer-reviewPaper

@misc{e44853f39d4c4826a23af9ea91c11bb7,
title = "The RERS 2017 Challenge and Workshop",
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.",
keywords = "benchmark generation, modal transition systems, race analysis, property-preservation, temporal logic, verification, model checking",
author = "Marc Jasper and Maximilian Fecke and Bernhard Steffen and Markus Schordan and Jeroen Meijer and Pol, {Jaco van de} and Falk Howar and Siegel, {Stephen F.}",
note = "(Invited Paper)",
year = "2017",
month = "7",
doi = "10.1145/3092282.3098206",
pages = "11--20",

}

Jasper, M, Fecke, M, Steffen, B, Schordan, M, Meijer, J, Pol, JVD, Howar, F & Siegel, SF 2017, 'The RERS 2017 Challenge and Workshop' Paper presented at 24th International SPIN Symposium 2017, Santa Barbara, United States, 13/07/17 - 14/07/17, pp. 11-20. DOI: 10.1145/3092282.3098206

The RERS 2017 Challenge and Workshop. / Jasper, Marc; Fecke, Maximilian; Steffen, Bernhard; Schordan, Markus; Meijer, Jeroen; Pol, Jaco van de; Howar, Falk; Siegel, Stephen F.

2017. 11-20 Paper presented at 24th International SPIN Symposium 2017, Santa Barbara, United States.

Research output: Scientific - peer-reviewPaper

TY - CONF

T1 - The RERS 2017 Challenge and Workshop

AU - Jasper,Marc

AU - Fecke,Maximilian

AU - Steffen,Bernhard

AU - Schordan,Markus

AU - Meijer,Jeroen

AU - Pol,Jaco van de

AU - Howar,Falk

AU - Siegel,Stephen F.

N1 - (Invited Paper)

PY - 2017/7

Y1 - 2017/7

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

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

KW - benchmark generation

KW - modal transition systems

KW - race analysis

KW - property-preservation

KW - temporal logic

KW - verification

KW - model checking

U2 - 10.1145/3092282.3098206

DO - 10.1145/3092282.3098206

M3 - Paper

SP - 11

EP - 20

ER -

Jasper M, Fecke M, Steffen B, Schordan M, Meijer J, Pol JVD et al. The RERS 2017 Challenge and Workshop. 2017. Paper presented at 24th International SPIN Symposium 2017, Santa Barbara, United States. Available from, DOI: 10.1145/3092282.3098206