{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T19:44:20Z","timestamp":1779392660317,"version":"3.53.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540581796","type":"print"},{"value":"9783540484691","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_69","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:25:32Z","timestamp":1330269932000},"page":"377-390","source":"Crossref","is-referenced-by-count":122,"title":["Combining partial order reductions with on-the-fly model-checking"],"prefix":"10.1007","author":[{"given":"Doron","family":"Peled","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"31_CR1","first-page":"1","volume-title":"Proceeding of the International Congress on Logic, Methodology and Philosophy of Science","author":"J. R. B\u00fcchi","year":"1960","unstructured":"J. R. B\u00fcchi, On a decision method in restricted second order arithmetic, in E. Nagel et al. (eds.), Proceeding of the International Congress on Logic, Methodology and Philosophy of Science, Stanford, CA, Stanford University Press, 1960, 1\u201311."},{"key":"31_CR2","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00121128","volume":"1","author":"C. Courcoubetis","year":"1992","unstructured":"C. Courcoubetis, M. Vardi, P. Wolper, M, Yanakakis, Memory-efficient algorithms for the verification of temporal properties, Formal methods in system design 1 (1992) 275\u2013288.","journal-title":"Formal methods in system design"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"J. C. Fernandez, L. Mounier, C. Jard, T. Jeron, On-the-fly verification of finite transition systems, Formal Methods in System Design 1 (1992), Kluwer, 251\u2013273.","DOI":"10.1007\/BF00121127"},{"key":"31_CR4","first-page":"321","volume":"3","author":"P. Godefroid","year":"1991","unstructured":"P. Godefroid, Using partial orders to improve automatic verification methods, Computer Aided Verification 1990, DIMACS, Vol 3, 1991, 321\u2013339.","journal-title":"DIMACS"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"P. Godefroid, P. Wolper, A Partial Approach to Model Checking, 6th LICS, 1991, Amsterdam, 406\u2013415.","DOI":"10.1109\/LICS.1991.151664"},{"key":"31_CR6","unstructured":"G. J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall Software Series, 1992."},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"G. J. Holzmann, P. Godefroid, D. Pirottin, Coverage preserving reduction strategies for reachability analysis, Proc. IFIP, Symp. on Protocol Specification, Testing, and Verification, June 1992, Orlando, U.S.A., 349\u2013364.","DOI":"10.1016\/B978-0-444-89874-6.50028-3"},{"key":"31_CR8","unstructured":"G. J. Holzmann, D. Peled, STREM: A static reduction method, Manuscript, 1994, available from the authors."},{"key":"31_CR9","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF02252682","volume":"6","author":"S. Katz","year":"1992","unstructured":"S. Katz, D. Peled, Verification of distributed programs using representative interleaving sequences, Distributed Computing 6 (1992), 107\u2013120.","journal-title":"Distributed Computing"},{"key":"31_CR10","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0304-3975(92)90054-J","volume":"101","author":"S. Katz","year":"1992","unstructured":"S. Katz, D. Peled, Defining conditional independence using collapses, Theoretical Computer Science 101 (1992), 337\u2013359, a preliminary version appeared in BCS-FACS Workshop on Semantics for Concurrency, Leicester, England, July 1990, Springer, 262\u2013280.","journal-title":"Theoretical Computer Science"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"R. P. Kurshan, Reducibility in analysis of coordination, Lecture Notes in Communication and Information, Springer, 103, 19\u201339.","DOI":"10.1007\/BFb0042302"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"M. Z. Kwiatkowska, Fairness for non-interleaving concurrency, Phd. Thesis, Faculty of Science, University of Leicester, 1989.","DOI":"10.1007\/BF01887206"},{"key":"31_CR13","unstructured":"L. Lamport, What good is temporal logic, IFIP Congress, North Holland, 1983, 657\u2013668."},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"O. Lichtenstein, A. Pnueli, Checking that finite-state concurrent programs satisfy their linear specification, 11 th ACM POPL, 1984, 97\u2013107.","DOI":"10.1145\/318593.318622"},{"key":"31_CR15","unstructured":"A. Mazurkiewicz, Trace semantics, Advances in Petri Nets 1986, LNCS 255, Springer, 1987, 279\u2013324."},{"key":"31_CR16","first-page":"409","volume-title":"LNCS","author":"D Peled","year":"1993","unstructured":"D, Peled, All from one, one for all, on model-checking using representatives, 5 th international conference on Computer Aided Verification, Greece, 1993, LNCS, Springer, 409\u2013423."},{"key":"31_CR17","first-page":"1","volume":"2","author":"A. Valmari","year":"1989","unstructured":"A. Valmari, Stubborn sets for reduced state space generation, 10th International Conference on Application and Theory of Petri Nets, Vol. 2, 1\u201322, Bonn, 1989.","journal-title":"10th International Conference on Application and Theory of Petri Nets"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"A. Valmari, A Stubborn attack on state explosion, in E.M. Clarke, R.P. Kurshan (eds.), CAV'90, DIMACS, Vol 3, 1991, 25\u201342.","DOI":"10.1090\/dimacs\/003\/04"},{"key":"31_CR19","series-title":"LNCS 697","first-page":"397","volume-title":"5th CAV","author":"A. Valmari","year":"1993","unstructured":"A. Valmari, On-The-Fly Verification of stubborn sets, 5th CAV, Greece, 1993, LNCS 697, Springer, 397\u2013408."},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"P. Wolper, M.Y. Vardi, A.P. Sistla, Reasoning about infinite computation paths, Proceedings of 24th IEEE symposium on foundation of computer science, Tuscan, 1983, 185\u2013194.","DOI":"10.1109\/SFCS.1983.51"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:21:45Z","timestamp":1742595705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}