{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T17:38:51Z","timestamp":1792949931759,"version":"4.5.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccd.2004.1347909","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"112-118","source":"Crossref","is-referenced-by-count":2,"title":["Fine-grain abstraction and sequential don't cares for large scale model checking"],"prefix":"10.1109","author":[{"family":"Chao Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.D.","family":"Hachtel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Somenzi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(05)82546-0","article-title":"A satisfiability-based approach to abstraction refinement in model checking","volume":"89","author":"li","year":"2003","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"ref11","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":"International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'03)"},{"key":"ref12","article-title":"Least fix-point MBM: Improved technique for approximate reachability","author":"moon","year":"1999","journal-title":"Presented at IWLS99"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref14","article-title":"Efficient BDD algorithms for FSM synthesis and verification. Presented at IWLS95, Lake Tahoe, CA","author":"ranjan","year":"1995"},{"key":"ref15","year":"0"},{"key":"ref16","first-page":"408","article-title":"Improving Ariadne's bundle by following multiple threads in abstraction refinement","author":"wang","year":"2003","journal-title":"Proceedings of the International Conference on Computer-Aided Design"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156104"},{"key":"ref4","first-page":"154","article-title":"Counterexample-guided abstraction refinement","author":"clarke","year":"2000","journal-title":"LNCS 1855"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1465","DOI":"10.1109\/43.552080","article-title":"Algorithms for approximate FSM traversal based on state space decomposition","volume":"15","author":"cho","year":"1996","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129859"},{"key":"ref5","first-page":"265","article-title":"SAT based abstraction-refinement using ILP and machine learning","author":"clarke","year":"2002","journal-title":"LNCS 2404"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.1257811"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-36577-X_13","article-title":"Multiple-counterexample guided iterative abstraction refinement: An industrial evaluation","author":"glusman","year":"2003","journal-title":"International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'03)"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-36126-X_3","article-title":"Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis","author":"chauhan","year":"2002","journal-title":"Formal Methods in Computer Aided Design"},{"key":"ref1","first-page":"428","article-title":"VIS: A system for verification and synthesis","author":"brayton","year":"1996","journal-title":"LNCS 1102"},{"key":"ref9","author":"kurshan","year":"1994","journal-title":"Computer-aided Verification of Coordinating Processes"}],"event":{"name":"IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings.","location":"San Jose, CA, USA"},"container-title":["IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9333\/29644\/01347909.pdf?arnumber=1347909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,30]],"date-time":"2023-04-30T02:03:39Z","timestamp":1682820219000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1347909\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iccd.2004.1347909","relation":{},"subject":[]}}