{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:28:55Z","timestamp":1755217735290,"version":"3.43.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1023\/a:1008767206905","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T11:37:32Z","timestamp":1040557052000},"page":"97-116","source":"Crossref","is-referenced-by-count":29,"title":["Partial-Order Reduction in Symbolic State-Space Exploration"],"prefix":"10.1007","volume":"18","author":[{"given":"R.","family":"Alur","sequence":"first","affiliation":[]},{"given":"R.K.","family":"Brayton","sequence":"additional","affiliation":[]},{"given":"T.A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"S.","family":"Qadeer","sequence":"additional","affiliation":[]},{"given":"S.K.","family":"Rajamani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"315465_CR1","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1109\/LICS.1996.561320","volume-title":"Proceedings of the 11th Annual Symposium on Logic in Computer Science","author":"R. Alur","year":"1996","unstructured":"R. Alur and T.A. Henzinger, \u201cReactive modules,\u201d in Proceedings of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, Silver Spring, MD, 1996, pp. 207\u2013218."},{"key":"315465_CR2","doi-asserted-by":"crossref","unstructured":"J.R. Burch, E.M. Clarke, and D.E. Long, \u201cSymbolic model checking with partitioned transition relations,\u201d in DAC 91: Design Automation Conference, 1991, pp. 403\u2013407.","DOI":"10.1145\/127601.127702"},{"issue":"2","key":"315465_CR3","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang, \u201cSymbolic model checking: 1020 states and beyond,\u201d Information and Computation, Vol. 98, No. 2, pp. 142\u2013170, 1992.","journal-title":"Information and Computation"},{"key":"315465_CR4","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","volume-title":"CAV 96: Computer Aided Verification","author":"R.K. Brayton","year":"1996","unstructured":"R.K. Brayton, G.D. Hachtel, A.L. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S.-T. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R.K. Ranjan, S. Sarwary, T.R. Shiple, G.M. Swamy, and T. Villa, \u201cVIS:Asystem for verification and synthesis,\u201d in R. Alur and T.A. Henzinger (Eds.), CAV 96: Computer Aided Verification. Lecture Notes in Computer Science, Vol. 1102, Springer-Verlag, Berlin, 1996, pp. 428\u2013432."},{"key":"315465_CR5","first-page":"241","volume-title":"TACAS 96: Tools and Algorithms for the Construction and Analysis of Systems","author":"C.-T. Chou","year":"1996","unstructured":"C.-T. Chou and D.A. Peled, \u201cFormal verification of a partial-order reduction technique for model checking,\u201d in TACAS 96: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, Vol. 1055, Springer-Verlag, Berlin, 1996, pp. 241\u2013257."},{"key":"315465_CR6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0196-6774(82)90023-2","volume":"3","author":"D. Dolev","year":"1982","unstructured":"D. Dolev, M. Klawe, and M. Rodeh, \u201cAn O (n log n) unidirectional distributed algorithm for extrema finding in a circle,\u201d Journal of Algorithms, Vol. 3, 1982, pp. 245\u2013260.","journal-title":"Journal of Algorithms"},{"key":"315465_CR7","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":"P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. Lecture Notes in Computer Science, Vol. 1032, Springer-Verlag, Berlin, 1996."},{"issue":"2","key":"315465_CR8","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1006\/inco.1994.1035","volume":"110","author":"P. Godefroid","year":"1994","unstructured":"P. Godefroid and P. Wolper, \u201cA partial approach to model checking,\u201d Information and Computation, Vol. 110, No. 2, pp. 305\u2013326, 1994.","journal-title":"Information and Computation"},{"key":"315465_CR9","first-page":"197","volume-title":"Proc. of the 7th International Conference on Formal Description Techniques","author":"G.J. Holzmann","year":"1994","unstructured":"G.J. Holzmann and D.A. Peled, \u201cAn improvement in formal verification,\u201d in Proc. of the 7th International Conference on Formal Description Techniques, Chapman & Hall, London, 1994, pp. 197\u2013211."},{"issue":"1\/2","key":"315465_CR10","first-page":"9","volume":"4","author":"T. Kam","year":"1998","unstructured":"T. Kam, T. Villa, R.K. Brayton, and A.L. Sangiovanni-Vincentelli, Multi-valued decision diagrams: theory and applications. International Journal on Multiple-Valued Logic, Vol. 4, No. 1\/2, pp. 9\u201362, 1998.","journal-title":"International Journal on Multiple-Valued Logic"},{"key":"315465_CR11","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BFb0013025","volume-title":"Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency","author":"A. Mazurkiewicz","year":"1989","unstructured":"A. Mazurkiewicz, \u201cBasic notions of trace theory,\u201d in J.W. de Bakker, W.-P. de Roever, and G. Rozenberg (Eds.), Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency. Lecture Notes in Computer Science, Vol. 354, Springer-Verlag, Berlin, 1989, pp. 285\u2013363."},{"key":"315465_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking: An Approach to the State-Explosion Problem","author":"K.L. McMillan","year":"1993","unstructured":"K.L. McMillan, Symbolic Model Checking: An Approach to the State-Explosion Problem. Kluwer Academic Publishers, Dordrecht, 1993."},{"key":"315465_CR13","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-56922-7_34","volume-title":"CAV 93: Computer Aided Verification","author":"D. Peled","year":"1993","unstructured":"D. Peled, \u201cAll from one, one for all: On model checking using representatives,\u201d in C. Courcoubetis (Ed.), CAV 93: Computer Aided Verification. Lecture Notes in Computer Science, Vol. 697, Springer-Verlag, Berlin, 1993, pp. 409\u2013423."},{"key":"315465_CR14","unstructured":"R.K. Ranjan, A. Aziz, B. Plessier, C. Pixley, and R.K. Brayton, \u201cEfficient formal design verification: Data structures + algorithms,\u201d in Workshop Notes of the International Workshop on Logic Synthesis, 1995."},{"key":"315465_CR15","doi-asserted-by":"crossref","unstructured":"Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, and Robert K. Brayton, \u201cHeuristic minimization of BDDs using don't cares,\u201d in DAC 94: Design Automation Conference, 1994, pp. 225\u2013231.","DOI":"10.1145\/196244.196360"},{"key":"315465_CR16","first-page":"25","volume-title":"CAV 90: Computer Aided Verification","author":"A. Valmari","year":"1990","unstructured":"A. Valmari, \u201cAstubborn attack on state explosion,\u201d in R.P. Kurshan and E.M. Clarke (Eds.), CAV 90: Computer Aided Verification. Lecture Notes in Computer Science, Vol. 531, Springer-Verlag, Berlin, 1990, pp. 25\u201342."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008767206905.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008767206905\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008767206905.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T19:12:16Z","timestamp":1754421136000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008767206905"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["315465"],"URL":"https:\/\/doi.org\/10.1023\/a:1008767206905","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}