{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T12:14:22Z","timestamp":1769343262160,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540851134","type":"print"},{"value":"9783540851141","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85114-1_11","type":"book-chapter","created":{"date-parts":[[2008,8,13]],"date-time":"2008-08-13T03:22:48Z","timestamp":1218597768000},"page":"134-143","source":"Crossref","is-referenced-by-count":25,"title":["Tackling Large Verification Problems with the Swarm Tool"],"prefix":"10.1007","author":[{"given":"Gerard J.","family":"Holzmann","sequence":"first","affiliation":[]},{"given":"Rajeev","family":"Joshi","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Groce","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Chien, S., Sherwood, R., Tran, D., et al.: Using Autonomy Flight Software to Improve Science Return on Earth Observing One (EO1). Journal of Aerospace Computing, Information, and Communication (April 2005)","DOI":"10.2514\/1.12923"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Elbaum, S.G., et al.: Parallel Randomized State-Space Search. In: Proc. ICSE 2007, pp. 3\u201312 (2007)","DOI":"10.1109\/ICSE.2007.62"},{"key":"11_CR3","unstructured":"Moore, G.E.: Cramming more components onto integrated circuits. Electronics\u00a038(8) (April 9, 1965)"},{"key":"11_CR4","volume-title":"Proc. 2002 Aerospace Conf.","author":"P.R. Gluck","year":"2002","unstructured":"Gluck, P.R., Holzmann, G.J.: Using Spin Model Checking for Flight Software Verification. In: Proc. 2002 Aerospace Conf., March 2002. IEEE, Big Sky (2002)"},{"key":"11_CR5","unstructured":"Holzmann, G.J.: On limits and possibilities of automated protocol analysis. In: Rudin, H., West, C. (eds.) Proc. 6th Int. Conf. on Protocol Specification, Testing, and Verification, INWG IFIP, Zurich, Switzerland (June 1987)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/10722468_8","volume-title":"SPIN Model Checking and Software Verification","author":"G.J. Holzmann","year":"2000","unstructured":"Holzmann, G.J.: Logic verification of ANSI-C Code with Spin. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 131\u2013147. Springer, Heidelberg (2000)"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1002\/bltj.2223","volume":"5","author":"G.J. Holzmann","year":"2000","unstructured":"Holzmann, G.J., Smith, M.H.: Automating software feature verification. Bell Labs Technical Journal\u00a05(2), 72\u201387 (2000)","journal-title":"Bell Labs Technical Journal"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-540-24732-6_6","volume-title":"Model Checking Software","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J., Joshi, R.: Model-driven software verification. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 76\u201391. Springer, Heidelberg (2004)"},{"issue":"10","key":"11_CR9","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/TSE.2007.70724","volume":"33","author":"G.J. Holzmann","year":"2007","unstructured":"Holzmann, G.J., Bosnacki, D.: The design of a multi-core extension to the Spin model checker. IEEE Trans. On Software Engineering\u00a033(10), 659\u2013674 (2007)","journal-title":"IEEE Trans. On Software Engineering"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Musuvathi, M., Qadeer, S.: Fair stateless model checking. In: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), Tucson, AZ, June 7-13 (2008)","DOI":"10.1145\/1375581.1375625"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Penix, J., Visser, W., Pasareanu, C., Engstrom, E., Larson, A., Weininger, N.: Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in Systems Design Journal\u00a026(2) (2005)","DOI":"10.1007\/s10703-005-1490-4"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85114-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:22:06Z","timestamp":1606184526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85114-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851134","9783540851141"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85114-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}