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