{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:26Z","timestamp":1761611186217},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643562"},{"type":"electronic","value":"9783540697534"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054182","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:43:43Z","timestamp":1153979023000},"page":"345-357","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":50,"title":["Static partial order reduction"],"prefix":"10.1007","author":[{"given":"R.","family":"Kurshan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Levin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Minea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Peled","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Yenig\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, R.K. Brayton, T.A. Henzinger, S. Qadeer, and S.K. Rajamani. Partial order reduction in symbolic state space exploration. In Proceedings of the Conference on Computer Aided Verification (CAV'97), Haifa, Israel, June 1997.","DOI":"10.1007\/3-540-63166-6_34"},{"key":"23_CR2","unstructured":"E. Bounimova, V. Levin, O. Bagbugoglu, and K. Inan. A verification engine for SDL specification of communication protocols. In S. Bilgen, U. \u00c7a\u011flayan, and C. Ersoy, editors, Proceedings of the First Symposium on Computer Networks, pages 16\u201325, Istanbul, Turkey, May 1996."},{"key":"23_CR3","first-page":"241","volume-title":"Volume 1055 of Lecture Notes in Computer Science","author":"C.T. Chou","year":"1996","unstructured":"C.T. Chou and D. Peled. Formal verification of a partial-order reduction technique for model checking. In Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pages 241\u2013257, Passau, Germany, 1996. Springer-Verlag. Volume 1055 of Lecture Notes in Computer Science."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. MIT Press, 1989.","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0196-6774(82)90023-2","volume":"3","author":"D. Dolev","year":"1982","unstructured":"D. Dolev, M. Klave, and M. Rodeh. An O(nlogn) unidirectional distributed algorithm for extrema finding in a circle. Journal of Algorithms, 3:245\u2013260, 1982.","journal-title":"Journal of Algorithms"},{"key":"23_CR6","first-page":"438","volume-title":"Refining dependencies improves partial-order verification methods","author":"P. Godefroid","year":"1993","unstructured":"P. Godefroid and D. Pirottin. Refining dependencies improves partial-order verification methods. In Proc. 5th Conference on Computer Aided Verification, volume 697 of Lecture Notes in Computer Science, pages 438\u2013449, Elounda, June 1993. Springer-Verlag."},{"key":"23_CR7","first-page":"423","volume":"1102","author":"R. H. Hardin","year":"1996","unstructured":"R. H. Hardin, Z. Har'El, and R. P. Kurshan. COSPAN. In Proc. CAV'96, volume 1102, pages 423\u2013427. LNCS, 1996.","journal-title":"Proc. CAV'96"},{"key":"23_CR8","unstructured":"G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1992."},{"key":"23_CR9","first-page":"197","volume-title":"Formal Description Techniques 1994","author":"G.J. Holzmann","year":"1994","unstructured":"G.J. Holzmann and D. Peled. An improvement in formal verification. In Formal Description Techniques 1994, pages 197\u2013211, Bern, Switzerland, 1994. Chapman&Hall."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"R. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton University Press, 1994.","DOI":"10.1515\/9781400864041"},{"key":"23_CR11","unstructured":"L. Lamport. What good is temporal logic. In IFIP Congress, pages 657\u2013668. North Holland, 1983. in Computer Science 115."},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00121262","volume":"8","author":"D. Peled","year":"1996","unstructured":"D. Peled. Combining partial order reductions with on-the-fly model checking. Formal Methods in System Design, 8:39\u201364, 1996.","journal-title":"Formal Methods in System Design"},{"key":"23_CR13","unstructured":"Functional Specification and Description Language (SDL), CCITT Blue Book, Recommendation 2.100. Geneva, 1992."},{"key":"23_CR14","first-page":"156","volume-title":"A stubborn attack on state explosion","author":"A. Valmari","year":"1990","unstructured":"A. Valmari. A stubborn attack on state explosion. In Proc. 2nd Workshop on Computer Aided Verification, volume 531 of Lecture Notes in Computer Science, pages 156\u2013165, Rutgers, June 1990. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:14:02Z","timestamp":1558271642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643562","9783540697534"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0054182","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"25 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}