{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T00:22:14Z","timestamp":1768004534982,"version":"3.49.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.23919\/fmcad.2017.8102255","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T21:49:00Z","timestamp":1510264140000},"page":"164-171","source":"Crossref","is-referenced-by-count":12,"title":["FuseIC3: An algorithm for checking large design spaces"],"prefix":"10.23919","author":[{"given":"Rohit","family":"Dureja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristin Yvonne","family":"Rozier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679406"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"ref12","first-page":"52","article-title":"A liveness checking algorithm that counts","author":"claessen","year":"2012","journal-title":"FMCAD"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0234-1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"ref17","first-page":"125","article-title":"Efficient Implementation of Property Directed Reachability","author":"een","year":"2011","journal-title":"FMCAD"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/10721959_19"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_1"},{"key":"ref28","first-page":"115","article-title":"Regression model checking","author":"yang","year":"2009","journal-title":"ICSM"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.40"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49519-3_18"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240642"},{"key":"ref6","first-page":"70","article-title":"SAT-Based Model Checking without Unrolling","author":"bradley","year":"2011","journal-title":"VMCAI"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_36"},{"key":"ref8","first-page":"135","article-title":"Incremental Formal Verification of Hardware","author":"chockler","year":"2011","journal-title":"FMCAD"},{"key":"ref7","first-page":"1","article-title":"Understanding IC3","author":"bradley","year":"2012","journal-title":"SAT"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/1.26311"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0001-6"},{"key":"ref1","year":"0","journal-title":"HWMCC 2015"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2481869"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.021"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.04.005"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39611-3_20"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2015.7542260"},{"key":"ref26","first-page":"3","article-title":"IC3: Where Monolithic and Incremental Meet","author":"somenzi","year":"2011","journal-title":"FMCAD"},{"key":"ref25","article-title":"Incremental bounded model checking for embedded software","author":"schrammel","year":"2016","journal-title":"Formal Aspects of Computing"}],"event":{"name":"2017 Formal Methods in Computer-Aided Design (FMCAD)","location":"Vienna","start":{"date-parts":[[2017,10,2]]},"end":{"date-parts":[[2017,10,6]]}},"container-title":["2017 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8093672\/8102222\/08102255.pdf?arnumber=8102255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,11]],"date-time":"2018-01-11T23:52:07Z","timestamp":1515714727000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8102255\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":28,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2017.8102255","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}