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

doi:10.1145/3092282.3098206

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 proceeding › Conference contribution › Academic › peer-review

15 Citations (Scopus)

19 Downloads (Pure)

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 language	English
Title of host publication	Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	11-20
Number of pages	10
ISBN (Electronic)	978-1-4503-5077-8
DOIs	https://doi.org/10.1145/3092282.3098206
Publication status	Published - Jul 2017
Event	24th International SPIN Symposium 2017: Model Checking of Software - University of California, Santa Barbara, United States Duration: 13 Jul 2017 → 14 Jul 2017 Conference number: 24 http://conf.researchr.org/home/spin-2017

Conference

Conference	24th International SPIN Symposium 2017
Abbreviated title	SPIN 2017
Country/Territory	United States
City	Santa Barbara
Period	13/07/17 → 14/07/17
Internet address	http://conf.researchr.org/home/spin-2017

Keywords

benchmark generation
modal transition systems
race analysis
property-preservation
temporal logic
verification
model checking

Access to Document

10.1145/3092282.3098206

Cite this

@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{\textquoteright}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); 24th International SPIN Symposium 2017 : Model Checking of Software, SPIN 2017 ; Conference date: 13-07-2017 Through 14-07-2017",

year = "2017",

month = jul,

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 = "Association for Computing Machinery",

address = "United States",

url = "http://conf.researchr.org/home/spin-2017",

}

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. Association for Computing Machinery, New York, pp. 11-20, 24th International SPIN Symposium 2017, Santa Barbara, California, United States, 13/07/17. https://doi.org/10.1145/3092282.3098206

The RERS 2017 Challenge and Workshop. / Jasper, Marc; Fecke, Maximilian; Steffen, Bernhard et al.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. New York: Association for Computing Machinery, 2017. p. 11-20.

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

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 - Conference code: 24

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 - Association for Computing Machinery

CY - New York

T2 - 24th International SPIN Symposium 2017

Y2 - 13 July 2017 through 14 July 2017

ER -

The RERS 2017 Challenge and Workshop

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this