{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:52:07Z","timestamp":1754488327534},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_30","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T22:00:33Z","timestamp":1167429633000},"page":"389-402","source":"Crossref","is-referenced-by-count":21,"title":["Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification"],"prefix":"10.1007","author":[{"given":"Ranan","family":"Fraer","sequence":"first","affiliation":[]},{"given":"Gila","family":"Kamhi","sequence":"additional","affiliation":[]},{"given":"Barukh","family":"Ziv","sequence":"additional","affiliation":[]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[]},{"given":"Limor","family":"Fix","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Ravi, K., Somenzi, F.: High Density Reachability Analysis. In: Proceedings of ICCAD 1995 (1995)","DOI":"10.1109\/ICCAD.1995.480006"},{"key":"30_CR2","unstructured":"Ganai, M., Aziz, A.: Efficient Coverage Directed State Space Search. In: Proceedings of IWLS 1998 (1998)"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Yuan, J., Shen, J., Abraham, J., Aziz, A.: On Combining Formal and Informal Verification. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-63166-6_37"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Yang, C., Dill, D.: Validation with Guided Search of the State Space. In: Proceedings of DAC 1998 (1998)","DOI":"10.1145\/277044.277201"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Aziz, A., Kukula, J., Shiple, T.: Hybrid Verification Using Saturated Simulation. In: Proceedings of DAC 1998 (1998)","DOI":"10.1145\/277044.277204"},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R.: Graph-based Algorithms for Boolean Function Manipulations. IEEE Transactions on Computers\u00a0C-35, 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"30_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer, Dordrecht (1993)"},{"key":"30_CR8","unstructured":"Shiple, T.R.: Formal Analysis of Synchronous Circuits. PhD thesis, University of California at Berkeley (1996)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Ravi, K., McMillan, K.L., Shiple, T.R., Somenzi, F.: Approximation and Decomposition of Binary Decision Diagrams. In: Proceedings of DAC 1998 (1998)","DOI":"10.1145\/277044.277168"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Coudert, O., Madre, J.: A Unified Framework for the Formal Verification of Sequential Circuits. In: Proceedings of ICCAD 1990 (1990)","DOI":"10.1109\/ICCAD.1990.129859"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Ravi, K., Somenzi, F.: Efficient Fixpoint Computation for Invariant Checking. In: Proceedings of ICCD 1999, pp. 467\u2013474 (1999)","DOI":"10.1109\/ICCD.1999.808582"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Lin, B., Newton, R.: Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams. In: Proceedings of ICCD 1991 (1991)","DOI":"10.1109\/ICCD.1991.139995"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Cabodi, G., Camurati, P., Quer, S.: Improved Reachability Analysis of Large Finite State Machines. In: Proceedings of ICCAD 1996 (1996)","DOI":"10.1109\/ICCAD.1996.569819"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Narayan, A., Jain, J., Fujita, M., Sangiovanni-Vincentelli, A.: Partitioned ROBDDs \u2013 A Compact, Canonical and Efficiently Manipulable Representation for Boolean Functions. In: Proceedings of ICCAD 1996 (1996)","DOI":"10.1109\/ICCAD.1996.569909"},{"key":"30_CR15","unstructured":"Fraer, R., Kamhi, G., Fix, L., Vardi, M.: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. In: Proceedings of SMC 1999 (1999)"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Beer, I., Ben-David, S., Landver, A.: On-the-Fly Model Checking of RCTL Formulas. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427. Springer, Heidelberg (1998)","DOI":"10.1007\/BFb0028744"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Cabodi, G., Camurati, P., Quer, S.: Improving the Efficiency of BDD-Based Operators by Means of Partitioning. IEEE Transactions on CAD, 545\u2013556 (May 1999)","DOI":"10.1109\/43.759068"},{"key":"30_CR18","unstructured":"Somenzi, F.: CUDD: CU Decision Diagram Package \u2013 Release 2.3.0., Technical Report, Dept. Electrical and Computer Engineering, University of Colorado, Boulder"},{"key":"30_CR19","first-page":"147","volume-title":"Int\u2019l Workshop on Discrete Event Systems (WODES 1996)","author":"R.H. Hardin","year":"1996","unstructured":"Hardin, R.H., Kurshan, R.P., McMillan, K.L., Reeds, J.A., Sloane, N.J.A.: Efficient Regression Verification. In: Int\u2019l Workshop on Discrete Event Systems (WODES 1996), Edinburgh, August 19-21, pp. 147\u2013150. IEE, London (1996)"},{"issue":"4","key":"30_CR20","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"J.R. Burch","year":"1994","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E., McMillan, K.L., Dill, D.L.: Symbolic Model Checking for Sequential Circuit Verification. IEEE Transactions on Computer-Aided Designs of Integrated Circuits and Systems\u00a013(4), 401\u2013424 (1994)","journal-title":"IEEE Transactions on Computer-Aided Designs of Integrated Circuits and Systems"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722167_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T17:34:08Z","timestamp":1553016848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722167_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677703","9783540450474"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/10722167_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}