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.
|Number of pages||10|
|Journal||International journal on software tools for technology transfer|
|Publication status||Published - Oct 2014|