{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T17:13:18Z","timestamp":1649869998963},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2014,8,6]],"date-time":"2014-08-06T00:00:00Z","timestamp":1407283200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s10009-014-0324-3","type":"journal-article","created":{"date-parts":[[2014,8,5]],"date-time":"2014-08-05T09:24:14Z","timestamp":1407230654000},"page":"481-491","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges"],"prefix":"10.1007","volume":"16","author":[{"given":"Jaco","family":"van de Pol","sequence":"first","affiliation":[]},{"given":"Theo C.","family":"Ruys","sequence":"additional","affiliation":[]},{"given":"Steven","family":"te Brinke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,6]]},"reference":[{"key":"324_CR1","doi-asserted-by":"crossref","unstructured":"Blom, S.C.C., van de Pol, J.C., Weber, M.: ltsmin: distributed and symbolic reachability. In: Touili, T., Cook, B., Jackson, P. (eds.) Proceedings of CAV 2010 LNCS 6174, pp. 354\u2013359. Springer, New York (2010)","DOI":"10.1007\/978-3-642-14295-6_31"},{"key":"324_CR2","doi-asserted-by":"crossref","unstructured":"Evangelista, S., Laarman, A., Petrucci, L., van de Pol, J.: Improved multi-core nested depth-first search. In: Chakraborty, S., Mukund, M. (eds.) Proceedings of ATVA 2012, LNCS 7561, pp. 269\u2013283. Springer, New York (2012)","DOI":"10.1007\/978-3-642-33386-6_22"},{"key":"324_CR3","doi-asserted-by":"crossref","unstructured":"Gastin, P., Oddoux, D.: Fast LTL to B\u00fcchi automata translation. In: Berry, G., Comon, H., Finkel, A. (eds.) Proceedings of the 13th International Conference on Computer Aided Verification (CAV\u201901), Paris, vol. 2102. Lecture Notes in Computer Science, pp. 53\u201365. Springer, New York (2001)","DOI":"10.1007\/3-540-44585-4_6"},{"key":"324_CR4","unstructured":"Holzman, G.J.: The Spin Model Checker\u2014Primer and Reference Manual. Addison-Wesley, Boston (2003)"},{"key":"324_CR5","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J., Joshi, R.: Model-driven software verification. In: Graf, S., Mounier, L. (eds.) Proceedings of SPIN 2004 LNCS 2989, pp. 76\u201391. Springer, New York (2004)","DOI":"10.1007\/978-3-540-24732-6_6"},{"key":"324_CR6","doi-asserted-by":"crossref","unstructured":"Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D.: The RERS grey-box challenge 2012: analysis of event-condition-action systems. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, vol. 7609. Lecture Notes in Computer Science, pp. 608\u2013614. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-34026-0_45"},{"key":"324_CR7","doi-asserted-by":"crossref","unstructured":"Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D., Pasareanu, C.S.: Rigorous Examination of Reactive Systems. The RERS Challenges 2012 and 2013. Software Tools for Technology Transfer. doi: 10.1007\/s10009-014-0337-y (2014)","DOI":"10.1007\/s10009-014-0337-y"},{"key":"324_CR8","unstructured":"Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification. In: Proceedings of the First Symposium on. Logic in Computer Science, pp. 332\u2013344. IEEE Computer Society (1986)"},{"key":"324_CR9","unstructured":"Laarman, A.W., van de Pol, J.C., Weber, M.: Boosting multi-core reachability performance with shared hash tables. In: Bloem, R., Sharygina, N. (eds.) Proceedings of FMCAD 2010, pp. 247\u2013255. IEEE (2010)"},{"key":"324_CR10","doi-asserted-by":"crossref","unstructured":"Laarman, A.W., van de Pol, J.C., Weber, M.: Multi-core LTSmin: marrying modularity and scalability. In: Bobaru, M.G., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) Proceedings of NFM 2011, LNCS 6617, pp. 506\u2013511. Springer, New York (2011)","DOI":"10.1007\/978-3-642-20398-5_40"},{"key":"324_CR11","doi-asserted-by":"crossref","unstructured":"Laarman, A.W., van de Pol, J.C., Weber, M.: Parallel recursive state compression for free. In: Groce, A., Musuvathi, M. (eds.) Proceedings of SPIN 2011, LNCS 6823, pp. 38\u201356. Springer, New York (2011)","DOI":"10.1007\/978-3-642-22306-8_4"},{"key":"324_CR12","doi-asserted-by":"crossref","unstructured":"Ruys, T.C., Kars, P.: Gossiping girls are all alike. In: Donaldson, A.F., Parker, D. (eds.) Proceedings of SPIN 2012, LNCS 7385, pp. 117\u2013136. Springer, New York (2012)","DOI":"10.1007\/978-3-642-31759-0_10"},{"key":"324_CR13","doi-asserted-by":"crossref","unstructured":"Steffen, B., Isberner, M., Naujokat, S., Margaria, T., Geske, M.: Property-driven benchmark generation: synthesizing programs of realistic structure. Softw. Tools Technol. Transf. doi: 10.1007\/s10009-014-0336-z (2014)","DOI":"10.1007\/s10009-014-0336-z"},{"key":"324_CR14","doi-asserted-by":"crossref","unstructured":"van der Vegt, S., Laarman, A.W.: A parallel compact hash table. In: Kot\u00e1sek, Z., Bouda, J., Cern\u00e1, I., Sekanina, L., Vojnar, T., Antos, D. (eds.) Proceedings of MEMICS 2011, LNCS 7119, pp. 191\u2013204. Springer, New York (2011)","DOI":"10.1007\/978-3-642-25929-6_18"},{"key":"324_CR15","unstructured":"LTSmin\u2014Minimization and Instantiation of Labelled Transition Systems. http:\/\/fmt.cs.utwente.nl\/tools\/ltsmin\/"},{"key":"324_CR16","unstructured":"RERS\u2014Rigorous Examination of Reactive Systems. http:\/\/rers-challenge.org\/"},{"key":"324_CR17","unstructured":"The Spin model checker. http:\/\/spinroot.com\/"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0324-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0324-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0324-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,13]],"date-time":"2022-04-13T16:54:42Z","timestamp":1649868882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0324-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,6]]},"references-count":17,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["324"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0324-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,6]]}}}