{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T06:36:57Z","timestamp":1790836617772,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540733690","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73370-6_6","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T00:03:26Z","timestamp":1188432206000},"page":"58-75","source":"Crossref","is-referenced-by-count":19,"title":["Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software"],"prefix":"10.1007","author":[{"given":"Yu","family":"Yang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaofang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert M.","family":"Kirby","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1145\/1040305.1040315","volume-title":"POPL","author":"C. Flanagan","year":"2005","unstructured":"Flanagan, C., Godefroid, P.: Dynamic Partial-order Reduction for Model Checking Software. In: Palsberg, J., Abadi, M. (eds.) POPL, pp. 110\u2013121. ACM Press, New York (2005)"},{"key":"6_CR2","unstructured":"Yang, Y., Chen, X., Gopalakrishnan, G., Kirby, R.M.: UUCS-07-008: Runtime Model Checking of Multithreaded C Programs. Technical report (2007), http:\/\/www.cs.utah.edu\/research\/techreports\/2007\/ps\/UUCS-07-008.ps"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model Checking for Programming Languages using Verisoft. In: POPL, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"key":"6_CR4","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Robby, D.M.B., Hatcliff, J.: Bogor: an extensible and highly-modular software model checking framework. In: ESEC \/ SIGSOFT FSE, pp. 267\u2013276 (2003)","DOI":"10.1145\/940071.940107"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/996841.996844","volume-title":"PLDI 2004","author":"T.A. Henzinger","year":"2004","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R.: Race checking by context inference. In: PLDI 2004. Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, pp. 1\u201313. ACM Press, New York (2004)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","first-page":"484","volume-title":"ECOOP 1996 - Object-Oriented Programming","author":"T. Andrews","year":"1996","unstructured":"Andrews, T., Qadeer, S., Rajamani, S.K., Rehof, J., Xie, Y.: Zing: A Model Checker for Concurrent Software. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol.\u00a01098, pp. 484\u2013487. Springer, Heidelberg (1996)"},{"key":"6_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"P. Godefroid","year":"1996","unstructured":"Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. Springer, Heidelberg (1996)"},{"key":"6_CR9","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"6_CR10","volume-title":"MPI-The Complete Reference: The MPI Core","author":"M. Snir","year":"1998","unstructured":"Snir, M., Otto, S.: MPI-The Complete Reference: The MPI Core. MIT Press, Cambridge (1998)"},{"key":"6_CR11","unstructured":"http:\/\/www.mpiforum.org\/docs\/docs.html"},{"key":"6_CR12","unstructured":"http:\/\/www.lammpi.org\/"},{"key":"6_CR13","unstructured":"http:\/\/www.enderunix.org\/aget\/"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-63166-6_26","volume-title":"Computer Aided Verification","author":"U. Stern","year":"1997","unstructured":"Stern, U., Dill, D.L.: Parallelizing the Murhi Verifier. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 256\u2013278. Springer, Heidelberg (1997)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/11691617_7","volume-title":"Model Checking Software","author":"I. Melatti","year":"2006","unstructured":"Melatti, I., Palmer, R., Sawaya, G., Yang, Y., Kirby, R.M., Gopalakrishnan, G.: Parallel and Distributed Model Checking in Eddy. In: Valmari, A. (ed.) Model Checking Software. LNCS, vol.\u00a03925, pp. 108\u2013125. Springer, Heidelberg (2006)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Sivaraj, H., Gopalakrishnan, G.: Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. Electr. Notes Theor. Comput. Sci. 89(1) (2003)","DOI":"10.1016\/S1571-0661(05)80096-9"},{"issue":"3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2004.10.016","volume":"128","author":"R. Kumar","year":"2005","unstructured":"Kumar, R., Mercer, E.G.: Load Balancing Parallel Explicit State Model Checking. Electr. Notes Theor. Comput. Sci.\u00a0128(3), 19\u201334 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Holzmann, G., Bosnacki, D.: Multi-core model checking with Spin (2007)","DOI":"10.1109\/IPDPS.2007.370410"},{"key":"6_CR19","unstructured":"Brim, L., Cerna, I., Moravec, P., Simsa, J.: Distributed Partial Order Reduction of State Spaces. PDMC (1) (2004)"},{"key":"6_CR20","unstructured":"Palmer, R., Gopalakrishnan, G.: Partial Order Reduction Assisted Parallel Model Checking. PDMC (2002)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/3-540-36135-9_26","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"R. Palmer","year":"2002","unstructured":"Palmer, R., Gopalakrishnan, G.: A distributed partial order reduction algorithm. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, p. 370. Springer, Heidelberg (2002)"}],"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-73370-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:08:46Z","timestamp":1619518126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73370-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540733690"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73370-6_6","relation":{},"subject":[]}}