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: Chapter in Book/Report/Conference proceedingConference contribution

  • 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.
LanguageEnglish
Title of host publicationProceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Place of PublicationNew York
PublisherACM Inc.
Pages11-20
Number of pages10
ISBN (Electronic)978-1-4503-5077-8
DOIs
StatePublished - Jul 2017
Event24th International SPIN Symposium 2017 - University of California, Santa Barbara, United States
Duration: 13 Jul 201714 Jul 2017
Conference number: 24
http://conf.researchr.org/home/spin-2017

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., van de Pol, J., ... Siegel, S. F. (2017). The RERS 2017 Challenge and Workshop. In Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (pp. 11-20). New York: ACM Inc.. DOI: 10.1145/3092282.3098206
Jasper, Marc ; Fecke, Maximilian ; Steffen, Bernhard ; Schordan, Markus ; Meijer, Jeroen ; van de Pol, Jaco ; Howar, Falk ; Siegel, Stephen F./ The RERS 2017 Challenge and Workshop. Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. New York : ACM Inc., 2017. pp. 11-20
@inproceedings{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 {van de Pol}, Jaco and Falk Howar and Siegel, {Stephen F.}",
note = "(Invited Paper)",
year = "2017",
month = "7",
doi = "10.1145/3092282.3098206",
language = "English",
pages = "11--20",
booktitle = "Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software",
publisher = "ACM Inc.",

}

Jasper, M, Fecke, M, Steffen, B, Schordan, M, Meijer, J, van de Pol, J, Howar, F & Siegel, SF 2017, The RERS 2017 Challenge and Workshop. in Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM Inc., New York, pp. 11-20, 24th International SPIN Symposium 2017, Santa Barbara, United States, 13/07/17. DOI: 10.1145/3092282.3098206

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

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. New York : ACM Inc., 2017. p. 11-20.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - The RERS 2017 Challenge and Workshop

AU - Jasper,Marc

AU - Fecke,Maximilian

AU - Steffen,Bernhard

AU - Schordan,Markus

AU - Meijer,Jeroen

AU - van de Pol,Jaco

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 - Conference contribution

SP - 11

EP - 20

BT - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

PB - ACM Inc.

CY - New York

ER -

Jasper M, Fecke M, Steffen B, Schordan M, Meijer J, van de Pol J et al. The RERS 2017 Challenge and Workshop. In Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. New York: ACM Inc.2017. p. 11-20. Available from, DOI: 10.1145/3092282.3098206