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

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

doi:10.1007/s10009-014-0324-3

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 language	Undefined
Pages (from-to)	481-491
Number of pages	10
Journal	International journal on software tools for technology transfer
Volume	16
Issue number	5
DOIs	https://doi.org/10.1007/s10009-014-0324-3
Publication status	Published - Oct 2014

Keywords

IR-93301
EWI-24922
METIS-309563

Access to Document

10.1007/s10009-014-0324-3

http://eprints.eemcs.utwente.nl/secure2/24922/01/art%253A10.1007%252Fs10009-014-0324-3.pdf

Cite this

@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",

}

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 -