{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:54:41Z","timestamp":1725533681296},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,11]]},"DOI":"10.1109\/iccad.2007.4397283","type":"proceedings-article","created":{"date-parts":[[2008,1,9]],"date-time":"2008-01-09T14:22:47Z","timestamp":1199888567000},"page":"310-317","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid cegar: combining variable hiding and predicate abstraction"],"prefix":"10.1109","author":[{"family":"Chao Wang","sequence":"first","affiliation":[]},{"family":"Hyondeuk Kim","sequence":"additional","affiliation":[]},{"family":"Aarti Gupta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"183","article-title":"Lazy constraints and SAT heuristics for proof-based abstraction","author":"gupta","year":"2005","journal-title":"Proceedings of International Conference on VLSI Design"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_26"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065697"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_45"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364481"},{"journal-title":"Computer-aided Verification of Coordinating Processes","year":"1994","author":"kurshan","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_15"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0169-2"},{"journal-title":"Model checking abstraction and compositional verification","year":"1993","author":"long","key":"ref18"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-36577-X_2","article-title":"Automatic abstraction without counterexamples","author":"mcmillan","year":"2003","journal-title":"Tools and Algorithms for Construction and Analysis of Systems (TACAS'03)"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"Computer Aided Verification (CAV'OO)"},{"key":"ref3","first-page":"268","article-title":"Boolean and cartesian abstraction for model checking c programs","author":"ball","year":"2001","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS'Ol)"},{"key":"ref6","article-title":"SAT based predicate abstraction for hardware verification","author":"clarke","year":"2003","journal-title":"International Conference on Theory and Applications of Satisfiability Testing"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-45657-0_20","article-title":"SAT based abstraction-refinement using ILP and machine learning","author":"clarke","year":"2002","journal-title":"Computer-Aided Verification (CAV ' 02"},{"key":"ref8","first-page":"72","article-title":"Construction of abstract state graphs with PVS","author":"graf","year":"1997","journal-title":"Computer Aided Verification (CAV'97)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932482"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-540-30494-4_19","article-title":"A hybrid of counterexample-based and proof-based abstraction","author":"amla","year":"2004","journal-title":"Formal Methods in Computer Aided Design (FMC AD '04)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.1257811"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"year":"0","key":"ref22"},{"journal-title":"CUDD CU Decision Digram Package University of Colorado at Boulder","year":"0","author":"somenzi","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065776"},{"key":"ref23","first-page":"408","article-title":"Improving Ariadne's bundle by following multiple threads in abstraction refinement","author":"wang","year":"2003","journal-title":"International Conference on Computer-Aided Design"}],"event":{"name":"2007 IEEE\/ACM International Conference on Computer-Aided Design","start":{"date-parts":[[2007,11,4]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2007,11,8]]}},"container-title":["2007 IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4397222\/4397223\/04397283.pdf?arnumber=4397283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T22:50:34Z","timestamp":1497739834000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4397283\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/iccad.2007.4397283","relation":{},"ISSN":["1092-3152"],"issn-type":[{"type":"print","value":"1092-3152"}],"subject":[],"published":{"date-parts":[[2007,11]]}}}