{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:46Z","timestamp":1761611266219},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405245"},{"type":"electronic","value":"9783540450696"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45069-6_5","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T17:11:46Z","timestamp":1277226706000},"page":"54-66","source":"Crossref","is-referenced-by-count":10,"title":["A Work-Efficient Distributed Algorithm for Reachability Analysis"],"prefix":"10.1007","author":[{"given":"Orna","family":"Grumberg","sequence":"first","affiliation":[]},{"given":"Tamir","family":"Heyman","sequence":"additional","affiliation":[]},{"given":"Assaf","family":"Schuster","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-36577-X_4","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N. Amla","year":"2003","unstructured":"Amla, N., Kurshan, R., McMillan, K., Medel, R.K.: Experimental Analysis of Different Techniques for Bounded Model Checking. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 34\u201348. Springer, Heidelberg (2003)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Beer, I., Ben-David, S., Eisner, C., Landver, A.: Rulebase: An Industry-Oriented Formal Verification Tool. In: 33rd Design Automation Conf., pp. 655\u2013660 (1996)","DOI":"10.1145\/240518.240642"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Beer, I., Ben-David, S., Landver, A.: On-the-Fly Model Checking of RCTL Formulas. In: CAV 1994. LNCS, vol.\u00a0818 (1998)","DOI":"10.1007\/BFb0028744"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"A. Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolic Model Checking Without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, p. 193. Springer, Heidelberg (1999)"},{"key":"5_CR5","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E.: Symbolic model checking with partitioned transition relations. In: Halaas, A., Denyer, P.B. (eds.) Proc. of the 1991 Int. Conference on Very Large Scale Integration (August 1991)"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. Information and Computation\u00a098(2), 142\u2013171 (1992)","journal-title":"Information and Computation"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Cabodi, G.: Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions. In: Proc. of the 13th Int. Conf. on Computer Aided Verification (2001)","DOI":"10.1007\/3-540-44585-4_11"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1109\/ICCAD.1996.569819","volume-title":"Proc. of the IEEE Int. Conf. on Computer Aided Design","author":"G. Cabodi","year":"1996","unstructured":"Cabodi, G., Camurati, P., Quer, S.: Improved Reachability Analysis of Large FSM. In: Proc. of the IEEE Int. Conf. on Computer Aided Design, pp. 354\u2013360. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Cabodi, G., Camurati, P., Quer, S.: Improving the Efficient of BDD-Bsaed Operators by Means of Partitioning. IEEE Transactions on Computer-Aided Design (May 1999)","DOI":"10.1109\/43.759068"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NUSMV: a new Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 495\u2013499. Springer, Heidelberg (1999)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-58179-0_63","volume-title":"Computer Aided Verification","author":"D. Geist","year":"1994","unstructured":"Geist, D., Beer, I.: EfficientModel Checking by Automated Ordering of Transition Relation Partitions. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 299\u2013310. Springer, Heidelberg (1994)"},{"key":"5_CR12","unstructured":"Grumberg, O., Heyman, A., Heyman, T., Schuster, A.: Division System: A General Platform for Distributed Symbolic Model Checking Research (2003), \n                    \n                      http:\/\/www.cs.technion.ac.il\/Labs\/dsl\/projects\/division_web\/division.htm"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1020373206491","volume":"21","author":"T. Heyman","year":"2002","unstructured":"Heyman, T., Geist, D., Grumberg, O., Schuster, A.: Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. Formal Methods in System Design\u00a021(2), 317\u2013338 (2002)","journal-title":"Formal Methods in System Design"},{"key":"5_CR14","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":"McMillan, K.L.: Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/3-540-49519-3_32","volume-title":"Formal Methods in Computer-Aided Design","author":"K. Milvang-Jensen","year":"1998","unstructured":"Milvang-Jensen, K., Hu, A.J.: BDDNOW: A parallel BDD package. In: Gopalakrishnan, G.C., Windley, P. (eds.) FMCAD 1998. LNCS, vol.\u00a01522, pp. 501\u2013507. Springer, Heidelberg (1998)"},{"key":"5_CR16","first-page":"388","volume-title":"Proc. of the IEEE Int. Conf. on Computer Aided Design","author":"A. Narayan","year":"1997","unstructured":"Narayan, A., Isles, A., Jain, J., Brayton, R., Sangiovanni-Vincentelli, A.L.: Reachability Analysis Using Partitioned-ROBDDs. In: Proc. of the IEEE Int. Conf. on Computer Aided Design, pp. 388\u2013393. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1109\/ICCAD.1996.569909","volume-title":"Proc. of the IEEE Int. Conf. on Computer Aided Design","author":"A. Narayan","year":"1996","unstructured":"Narayan, A., Jain, J., Fujita, M., Sangiovanni-Vincentelli, A.L.: Partitioned-ROBDDs. In: Proc. of the IEEE Int. Conf. on Computer Aided Design, pp. 547\u2013554. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"5_CR18","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 Murphy Verifier. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 256\u2013267. Springer, Heidelberg (1997)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Stornetta, T., Brewer, F.: Implementation of an Efficient Parallel BDD Package. In: 33rd Design Automation Conf. IEEE Computer Society Press, Los Alamitos (1996)","DOI":"10.1145\/240518.240639"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45069-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T17:02:25Z","timestamp":1580317345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45069-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405245","9783540450696"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45069-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}