{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:33Z","timestamp":1761611193732},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677703"},{"type":"electronic","value":"9783540450474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722167_6","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T22:00:33Z","timestamp":1167429633000},"page":"20-35","source":"Crossref","is-referenced-by-count":37,"title":["Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits"],"prefix":"10.1007","author":[{"given":"Tamir","family":"Heyman","sequence":"first","affiliation":[]},{"given":"Danny","family":"Geist","sequence":"additional","affiliation":[]},{"given":"Orna","family":"Grumberg","sequence":"additional","affiliation":[]},{"given":"Assaf","family":"Schuster","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Basonov, S.: Parallel Implementation of BDD on DSM Systems, M.Sc. thesis, Computer Science Department, Technion (1998)"},{"key":"6_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 Conference, pp. 655\u2013660 (1996)","DOI":"10.1145\/240518.240642"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Beer, I., Ben-David, S., Landver, A.: On-the-fly model checking of rctl formulas. In: 10th Computer Aided Verification, pp. 184\u2013194 (1998)","DOI":"10.1007\/BFb0028744"},{"issue":"8","key":"6_CR4","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"6_CR5","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., Que, 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":"6_CR6","first-page":"75","volume-title":"Workshop on Computer Aided Verification, DIMACS","author":"O. Coudert","year":"1990","unstructured":"Coudert, O., Madre, J.C., Berthet, C.: Verifying Temporal Pro- perties of Sequential Machines Without Building their State Diagrams. In: Kurshan, R., Clarke, E.M. (eds.) Workshop on Computer Aided Verification, DIMACS, pp. 75\u201384. American Mathematical Society, Providence (1990)"},{"key":"6_CR7","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":"6_CR8","first-page":"388","volume-title":"Proceedings of the IEEE International Conference on Computer Aided Design","author":"A.A. Narayan","year":"1997","unstructured":"Narayan, A.A., Isles, J.J.J., Brayton, R.K., 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":"6_CR9","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.A. Narayan","year":"1996","unstructured":"Narayan, A.A., Jawahar, J., Fujita, M., Sangiovanni-Vincentelli, A.: Partitioned-robdds. In: Proceedings of the IEEE International Conference on Computer Aided Design, pp. 547\u2013554. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-63166-6_26","volume-title":"Proc. of the 9th International Conference on 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":"6_CR11","doi-asserted-by":"crossref","unstructured":"Stornetta, T., Brewer, F.: Implementation of an efficient parallel bdd package. In: Design Automation Conference. IEEE Computer Society Press, Los Alamitos (1996)","DOI":"10.1145\/240518.240639"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722167_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:49:07Z","timestamp":1556005747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722167_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677703","9783540450474"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/10722167_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}