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: Contribution to conferencePaper

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

Conference

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

Fingerprint

Learning systems
Satellites

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. Paper presented at 24th International SPIN Symposium 2017, Santa Barbara, United States.10 p.
@conference{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); 24th International SPIN Symposium 2017 : Model Checking of Software, SPIN 2017 ; Conference date: 13-07-2017 Through 14-07-2017",
year = "2017",
month = "7",
doi = "10.1145/3092282.3098206",
language = "English",
pages = "11--20",
url = "http://conf.researchr.org/home/spin-2017",

}

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: Contribution to conferencePaper

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