{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:28:04Z","timestamp":1725550084066},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292098"},{"type":"electronic","value":"9783540319696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562948_4","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T14:06:40Z","timestamp":1128953200000},"page":"11-25","source":"Crossref","is-referenced-by-count":1,"title":["Verifying Very Large Industrial Circuits Using 100 Processes and Beyond"],"prefix":"10.1007","author":[{"given":"Limor","family":"Fix","sequence":"first","affiliation":[]},{"given":"Orna","family":"Grumberg","sequence":"additional","affiliation":[]},{"given":"Amnon","family":"Heyman","sequence":"additional","affiliation":[]},{"given":"Tamir","family":"Heyman","sequence":"additional","affiliation":[]},{"given":"Assaf","family":"Schuster","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","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 Conference, pp. 655\u2013660 (1996)","DOI":"10.1145\/240518.240642"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic Model Checking using SAT Procedures Instead of BDDs. In: 36th Design Automation Conference, pp. 317\u2013320 (1999)","DOI":"10.1145\/309847.309942"},{"issue":"2","key":"4_CR3","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); Special Issue: Selections from 1990 IEEE Symposium on Logic in Computer Science","journal-title":"Information and Computation"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1109\/ICCAD.1996.569819","volume-title":"Proceedings of the IEEE International Conference on Computer Aided Design","author":"G. Cabodi","year":"1996","unstructured":"Cabodi, G., Camurati, P., Quer, S.: Improved Reachability Analysis of Large FSM. In: Proceedings of the IEEE International Conference on Computer Aided Design, pp. 354\u2013360. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_30","volume-title":"Computer Aided Verification","author":"R. Fraer","year":"2000","unstructured":"Fraer, R., Kamhi, G., Ziv, B., Vardi, M.Y., Fix, L.: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855. Springer, Heidelberg (2000)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Grumberg, O., Heyman, T., Ifergan, N., Schuster, A.: Achieving speedups in distributed symbolic reachability analysis through asynchronous computation. In: CHARME (2005) (to appear)","DOI":"10.1007\/11560548_12"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-45069-6_5","volume-title":"Computer Aided Verification","author":"O. Grumberg","year":"2003","unstructured":"Grumberg, O., Heyman, T., Schuster, A.: A Work-Efficient Distributed Algorithm for Reachability Analysis. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 54\u201366. Springer, Heidelberg (2003)"},{"issue":"2","key":"4_CR8","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":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-45069-6_1","volume-title":"Computer Aided Verification","author":"K.L. McMillan","year":"2003","unstructured":"McMillan, K.L.: Interpolation and SAT-Based Model Checking. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 1\u201313. Springer, Heidelberg (2003)"},{"key":"4_CR10","first-page":"388","volume-title":"Proceedings of the IEEE International Conference 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: Proceedings of the IEEE International Conference on Computer Aided Design, pp. 388\u2013393. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1109\/ICCAD.1996.569909","volume-title":"Proceedings of the IEEE International Conference on Computer Aided Design","author":"A. Narayan","year":"1996","unstructured":"Narayan, A., Jain, J., Fujita, M., Sangiovanni-Vincentelli, A.L.: Partitioned-ROBDDs. In: Proceedings of the IEEE International Conference on Computer Aided Design, pp. 547\u2013554. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Ravi, K., McMillan, K.L., Shiple, T.R., Somenzi, F.: Approximation and Decomposition of Binary Decision Diagrams. In: 35th Design Automation Conference, pp. 445\u2013450 (1998)","DOI":"10.1145\/277044.277168"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Rudell, R.: Dynamic Variable Ordering for Ordered Binary Decision Diagrams. In: Intl. Conf. on Computer Aided Design, Santa Clara, Ca (November 1993)","DOI":"10.1109\/ICCAD.1993.580029"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562948_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:20Z","timestamp":1605642740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562948_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292098","9783540319696"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11562948_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}