{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:53Z","timestamp":1725493253012},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651918"},{"type":"electronic","value":"9783540495192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49519-3_20","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T06:37:12Z","timestamp":1192862232000},"page":"304-320","source":"Crossref","is-referenced-by-count":5,"title":["Input Elimination and Abstraction in Model Checking"],"prefix":"10.1007","author":[{"given":"Sela","family":"Mador-Haim","sequence":"first","affiliation":[]},{"given":"Limor","family":"Fix","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,17]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"J. R. Burch, E. M. Clarke, D. E. Long. Representing circuits more efficiently in symbolic model checking. In Proceedings of the Design Automation Conference, pages 403\u2013407, San Francisco, CA, June 1991.","DOI":"10.1145\/127601.127702"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"G. Cabodi, P. Camurati, L. Lavagno, S. Quer. Disjunctive Partitioning and Partial Iterative Squaring. Design Automation Conference, 1997.","DOI":"10.1145\/266021.266355"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, O. Grumberg, H. Hamaguchi. Another look at LTL model checking. Formal Methods in System Design, Volume 10, Number 1, February 1997. Also in CAV\u201994.","DOI":"10.1023\/A:1008615614281"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, O. Grumberg, D. E. Long. Model checking and Abstraction. In Symposium on Principles of Programming Languages, ACM, October, 1992.","DOI":"10.1145\/143165.143235"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, O. Grumberg, D. E. Long. Model Checking. In Springer-Verlag Nato ASI Series F, Volume 152, 1996 (a survey on model checking, abstraction and composition).","DOI":"10.1007\/978-3-642-61455-2_16"},{"key":"20_CR6","unstructured":"E. M. Clarke, O. Grumberg, K. McMillen, X. Zhao. Efficient generation of counter examples and witnesses in symbolic model checking. In DAC 95."},{"key":"20_CR7","unstructured":"G. D. De Micheli. Synthesis and Optimization of digital circuits. McGraw Hill, 1994."},{"key":"20_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Computer Aided Verification","author":"D. Geist","year":"1994","unstructured":"D. Geist, I. Beer, Efficient Model Checking by Automated Ordering of Transition Relation Partitions. In Proceedings of Computer Aided Verification, D.L. Dill Ed. LNCS 818, Springer-Verlag, 1994."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"O. Grumberg, D. E. Long. Model checking and modular verification. ACM Trans. Programming Languages and Systems, 1994.","DOI":"10.1145\/177492.177725"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"R. Hojati, S. Krishnan, R. Brayton. Early Quantification and Partitioned Transition Relation. In Proceedings of International Conference on Computer Design, 1996.","DOI":"10.1109\/ICCD.1996.563525"},{"key":"20_CR11","unstructured":"D. E. Long. Model Checking, Abstraction, and Compositional Verification. PhD thesis, Carnegie-Mellon University, July 1993."},{"key":"20_CR12","volume-title":"A compositional rule for hardware design refinement","author":"K. L. McMillan","year":"1997","unstructured":"K. L. McMillan. A compositional rule for hardware design refinement. In O. Grumberg editors, Computer Aided Verification, Haifa, Israel, 1997, Springer-Verlag."},{"key":"20_CR13","unstructured":"R. K. Ranjan, A. Aziz, R. K. Brayton, C. Pixley and B. Plessier. Efficient BDD Algorithms for Synthesizing and Verifying Finite State Machines. In Workshop Notes of Intl. Workshop on Logic Synthesis, Tahoe City, CA, May 1995."}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49519-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:59:14Z","timestamp":1556906354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49519-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651918","9783540495192"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-49519-3_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}