Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges

Jan Cornelis van de Pol, T.C. Ruys, Steven te Brinke

Research output: Contribution to journal › Article › Academic › peer-review

10 Citations (Scopus)

Abstract

The Rigorous Examination of Reactive Systems (RERS) Challenges provide a forum for experimental evaluation based on specifically synthesized benchmark suites. In this paper we report on our ‘brute force attack’ of the RERS 2012 and 2013 Challenges. We connected the RERS problems to two state-of-the-art explicit-state model checkers: LTSMIN and SPIN. Apart from an effective compression of the state vector, we did not analyse the source code of the problems. Our brute force approach was successful: it won both editions of the RERS Challenge.
Original languageUndefined
Pages (from-to)481-491
Number of pages10
JournalInternational journal on software tools for technology transfer
Volume16
Issue number5
DOIs
Publication statusPublished - Oct 2014

Keywords

  • IR-93301
  • EWI-24922
  • METIS-309563

Cite this

van de Pol, Jan Cornelis ; Ruys, T.C. ; te Brinke, Steven. / Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. In: International journal on software tools for technology transfer. 2014 ; Vol. 16, No. 5. pp. 481-491.
@article{5f1686b44a0744bdb1f999ba777a816c,
title = "Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges",
abstract = "The Rigorous Examination of Reactive Systems (RERS) Challenges provide a forum for experimental evaluation based on specifically synthesized benchmark suites. In this paper we report on our ‘brute force attack’ of the RERS 2012 and 2013 Challenges. We connected the RERS problems to two state-of-the-art explicit-state model checkers: LTSMIN and SPIN. Apart from an effective compression of the state vector, we did not analyse the source code of the problems. Our brute force approach was successful: it won both editions of the RERS Challenge.",
keywords = "IR-93301, EWI-24922, METIS-309563",
author = "{van de Pol}, {Jan Cornelis} and T.C. Ruys and {te Brinke}, Steven",
note = "eemcs-eprint-24922",
year = "2014",
month = "10",
doi = "10.1007/s10009-014-0324-3",
language = "Undefined",
volume = "16",
pages = "481--491",
journal = "International journal on software tools for technology transfer",
issn = "1433-2779",
publisher = "Springer",
number = "5",

}

van de Pol, JC, Ruys, TC & te Brinke, S 2014, 'Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges' International journal on software tools for technology transfer, vol. 16, no. 5, pp. 481-491. https://doi.org/10.1007/s10009-014-0324-3

Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. / van de Pol, Jan Cornelis; Ruys, T.C.; te Brinke, Steven.

In: International journal on software tools for technology transfer, Vol. 16, No. 5, 10.2014, p. 481-491.

Research output: Contribution to journal › Article › Academic › peer-review

TY - JOUR

T1 - Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges

AU - van de Pol, Jan Cornelis

AU - Ruys, T.C.

AU - te Brinke, Steven

N1 - eemcs-eprint-24922

PY - 2014/10

Y1 - 2014/10

N2 - The Rigorous Examination of Reactive Systems (RERS) Challenges provide a forum for experimental evaluation based on specifically synthesized benchmark suites. In this paper we report on our ‘brute force attack’ of the RERS 2012 and 2013 Challenges. We connected the RERS problems to two state-of-the-art explicit-state model checkers: LTSMIN and SPIN. Apart from an effective compression of the state vector, we did not analyse the source code of the problems. Our brute force approach was successful: it won both editions of the RERS Challenge.

AB - The Rigorous Examination of Reactive Systems (RERS) Challenges provide a forum for experimental evaluation based on specifically synthesized benchmark suites. In this paper we report on our ‘brute force attack’ of the RERS 2012 and 2013 Challenges. We connected the RERS problems to two state-of-the-art explicit-state model checkers: LTSMIN and SPIN. Apart from an effective compression of the state vector, we did not analyse the source code of the problems. Our brute force approach was successful: it won both editions of the RERS Challenge.

KW - IR-93301

KW - EWI-24922

KW - METIS-309563

U2 - 10.1007/s10009-014-0324-3

DO - 10.1007/s10009-014-0324-3

M3 - Article

VL - 16

SP - 481

EP - 491

JO - International journal on software tools for technology transfer

JF - International journal on software tools for technology transfer

SN - 1433-2779

IS - 5

ER -

van de Pol JC, Ruys TC, te Brinke S. Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges. International journal on software tools for technology transfer. 2014 Oct;16(5):481-491. https://doi.org/10.1007/s10009-014-0324-3

Access to Document