{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T21:10:23Z","timestamp":1781298623946,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642243714","type":"print"},{"value":"9783642243721","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24372-1_23","type":"book-chapter","created":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T09:41:14Z","timestamp":1317289274000},"page":"321-335","source":"Crossref","is-referenced-by-count":29,"title":["Multi-core Nested Depth-First Search"],"prefix":"10.1007","author":[{"given":"Alfons","family":"Laarman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rom","family":"Langerak","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Weber","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anton","family":"Wijs","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"issue":"2","key":"23_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s10009-010-0136-z","volume":"12","author":"J. Barnat","year":"2010","unstructured":"Barnat, J., Brim, L., Ro\u010dkai, P.: Scalable Shared Memory LTL Model Checking. STTT\u00a012(2), 139\u2013153 (2010)","journal-title":"STTT"},{"key":"23_CR3","first-page":"4","volume-title":"Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi\/PDMC 2010)","author":"J. Barnat","year":"2010","unstructured":"Barnat, J., Brim, L., \u010ce\u0161ka, M., Ro\u010dkai, P.: DiVinE: Parallel Distributed Model Checker (Tool paper). In: Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi\/PDMC 2010), pp. 4\u20137. IEEE, Los Alamitos (2010)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-642-10373-5_21","volume-title":"Formal Methods and Software Engineering","author":"J. Barnat","year":"2009","unstructured":"Barnat, J., Brim, L., Ro\u010dkai, P.: A Time-Optimal On-The-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 407\u2013425. Springer, Heidelberg (2009)"},{"issue":"2\/3","key":"23_CR5","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00121128","volume":"1","author":"C. Courcoubetis","year":"1992","unstructured":"Courcoubetis, C., Vardi, M.Y., Wolper, P., Yannakakis, M.: Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design\u00a01(2\/3), 275\u2013288 (1992)","journal-title":"Formal Methods in System Design"},{"key":"23_CR6","first-page":"3","volume-title":"Proc. ICSE 2007","author":"M.B. Dwyer","year":"2007","unstructured":"Dwyer, M.B., Elbaum, S.G., Person, S., Purandare, R.: Parallel Randomized State-Space Search. In: Proc. ICSE 2007, pp. 3\u201312. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"23_CR7","series-title":"LNCS","first-page":"381","volume-title":"ATVA 2011","author":"S. Evangelista","year":"2011","unstructured":"Evangelista, S., Petrucci, L., Youcef, S.: Parallel nested depth-first searches for LTL model checking. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol.\u00a06996, pp. 381\u2013396. Springer, Heidelberg (2011)"},{"key":"23_CR8","volume-title":"Designing and Building Parallel Programs","author":"I. Foster","year":"1995","unstructured":"Foster, I.: Designing and Building Parallel Programs. Addison-Wesley, Reading (1995)"},{"key":"23_CR9","unstructured":"Gaiser, A., Schwoon, S.: Comparison of Algorithms for Checking Emptiness on B\u00fcchi Automata. CoRR, abs\/0910.3766 (2009)"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-24730-2_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Geldenhuys","year":"2004","unstructured":"Geldenhuys, J., Valmari, A.: Tarjan\u2019s Algorithm Makes On-the-Fly LTL Verification More Efficient. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 205\u2013219. Springer, Heidelberg (2004)"},{"issue":"10","key":"23_CR11","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., Bo\u0161na\u010dki, D.: The Design of a Multicore Extension of the SPIN Model Checker. IEEE Trans. On Software Engineering\u00a033(10), 659\u2013674 (2007)","journal-title":"IEEE Trans. On Software Engineering"},{"issue":"10","key":"23_CR12","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., Bo\u0161na\u010dki, D.: The Design of a Multicore Extension of the SPIN Model Checker. IEEE Transactions on Software Engineering\u00a033(10), 659\u2013674 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR13","first-page":"1","volume-title":"Proc. ASE 2008","author":"G.J. Holzmann","year":"2008","unstructured":"Holzmann, G.J., Joshi, R., Groce, A.: Swarm Verification. In: Proc. ASE 2008, pp. 1\u20136. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-85114-1_11","volume-title":"Model Checking Software","author":"G.J. Holzmann","year":"2008","unstructured":"Holzmann, G.J., Joshi, R., Groce, A.: Tackling Large Verification Problems with the Swarm Tool. In: Havelund, K., Majumdar, R. (eds.) SPIN 2008. LNCS, vol.\u00a05156, pp. 134\u2013143. Springer, Heidelberg (2008)"},{"key":"23_CR15","first-page":"23","volume-title":"The Spin Verification System","author":"G.J. Holzmann","year":"1996","unstructured":"Holzmann, G.J., Peled, D., Yannakakis, M.: On Nested Depth First Search. In: The Spin Verification System, pp. 23\u201332. American Mathematical Society, Providence (1996)"},{"key":"23_CR16","volume-title":"Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design","author":"A.W. Laarman","year":"2010","unstructured":"Laarman, A.W., van de Pol, J.C., Weber, M.: Boosting Multi-Core Reachability Performance with Shared Hash Tables. In: Sharygina, N., Bloem, R. (eds.) Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, Lugano, Swiss, USA. IEEE Computer Society, Los Alamitos (2010)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/978-3-642-20398-5_40","volume-title":"NASA Formal Methods","author":"A.W. Laarman","year":"2011","unstructured":"Laarman, A.W., van de Pol, J.C., Weber, M.: Multi-core LTSmin: Marrying modularity and scalability. In: Bobaru, M., Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 506\u2013511. Springer, Heidelberg (2011)"},{"issue":"10","key":"23_CR18","first-page":"114","volume":"38","author":"G.E. Moore","year":"1965","unstructured":"Moore, G.E.: Cramming more Components onto Integrated Circuits. Electronics\u00a038(10), 114\u2013117 (1965)","journal-title":"Electronics"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-540-73370-6_17","volume-title":"Model Checking Software","author":"R. Pel\u00e1nek","year":"2007","unstructured":"Pel\u00e1nek, R.: BEEM: Benchmarks for Explicit Model Checkers. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol.\u00a04595, pp. 263\u2013267. Springer, Heidelberg (2007)"},{"issue":"5","key":"23_CR20","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0020-0190(85)90024-9","volume":"20","author":"J.H. Reif","year":"1985","unstructured":"Reif, J.H.: Depth-first Search is Inherently Sequential. Information Processing Letters\u00a020(5), 229\u2013234 (1985)","journal-title":"Information Processing Letters"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-31980-1_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Schwoon","year":"2005","unstructured":"Schwoon, S., Esparza, J.: A Note on On-the-Fly Verification Algorithms. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 174\u2013190. Springer, Heidelberg (2005)"},{"issue":"1","key":"23_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S1571-0661(05)80096-9","volume":"89","author":"H. Sivaraj","year":"2003","unstructured":"Sivaraj, H., Gopalakrishnan, G.: Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. Electronic Notes in Theoretical Computer Science\u00a089(1), 51\u201367 (2003)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"23_CR23","unstructured":"Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification. In: Proc. 1st Symp. on Logic in Computer Science, Cambridge, pp. 332\u2013344 (June 1986)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24372-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T05:12:52Z","timestamp":1554700372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24372-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642243714","9783642243721"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24372-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}