{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:16:50Z","timestamp":1725513410873},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2005.1560219","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T12:52:37Z","timestamp":1135255957000},"page":"1068-1075","source":"Crossref","is-referenced-by-count":2,"title":["Transition-by-transition FSM traversal for reachability analysis in bounded model checking"],"prefix":"10.1109","author":[{"given":"M.D.","family":"Nguyen","sequence":"first","affiliation":[]},{"given":"D.","family":"Stoffel","sequence":"additional","affiliation":[]},{"given":"M.","family":"Wedler","sequence":"additional","affiliation":[]},{"given":"W.","family":"Kunz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"229","article-title":"Gste is partitioned model checking","author":"sebastiani","year":"2004","journal-title":"CAV"},{"key":"17","first-page":"41","article-title":"Least fixpoint approximations for reachability analysis","author":"moon","year":"1999","journal-title":"Proceedings of the 1999 IEEE\/ACM International Conference on Computer-Aided Design"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2003.812320"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/43.552079"},{"key":"16","first-page":"451","article-title":"Approximate reachability with BDDs using overlapping projections","author":"govindaraju","year":"1998","journal-title":"Design Automation Conference"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337305"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/43.552080"},{"key":"11","first-page":"111","article-title":"Verification of sequential machines using boolean functional vectors","author":"coudert","year":"1989","journal-title":"IMEC-IFIP Int Workshop on Appl Formal Methods for Correct VLSI Design"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129859"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120967"},{"key":"20","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/978-3-540-39724-3_17","article-title":"Reasoning about GSTE assertion graphs","author":"hu","year":"2003","journal-title":"Proc 11th IFIP WG 10 5 Advanced Research Working Conf Correct Hardware Design and Verification Methods (CHARME 01)"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"23","first-page":"250","article-title":"Applying sat methods in unbounded symbolic model checking","author":"mcmillan","year":"2002","journal-title":"CAV"},{"journal-title":"Texas 97 benchmarks","year":"1997","author":"aziz","key":"24"},{"journal-title":"PCI Local Bus Specification 2 1","year":"1995","key":"25"},{"key":"26","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_20","article-title":"SAT based abstraction-refinement using ILP and machine learning techniques","author":"clarke","year":"2002","journal-title":"Proc of Conference on Computer-aided Verification (CAV'02)"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"3","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/127601.127702","article-title":"Representing circuits more efficiently in symbolic model checking","author":"burch","year":"1991","journal-title":"28th ACM\/IEEE Design Automation Conference DAC"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01383966"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129861"},{"journal-title":"Bounded Model Checking Advances in Computers Volume 58","year":"2003","author":"biere","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569819"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597241"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1996.563525"},{"key":"4","first-page":"299","article-title":"Efficient model checking by automated ordering of transition relation partitions","author":"geist","year":"1994","journal-title":"Proceedings of the 6th International Conference on Computer Aided Verification"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/EURDAC.1996.558201"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643565"}],"event":{"name":"ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005.","location":"San Jose, CA"},"container-title":["ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10431\/33130\/01560219.pdf?arnumber=1560219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T21:55:35Z","timestamp":1497650135000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1560219\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/iccad.2005.1560219","relation":{},"subject":[]}}