{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:27:29Z","timestamp":1725557249127},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.23919\/fmcad.2017.8102256","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T21:49:00Z","timestamp":1510264140000},"page":"172-175","source":"Crossref","is-referenced-by-count":2,"title":["FAR-Cubicle \u2014 A new reachability algorithm for Cubicle"],"prefix":"10.23919","author":[{"given":"Sylvain","family":"Conchon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit","family":"Goel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sava","family":"Krstic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mattias","family":"Roux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Inférence d invariants pour le model checking de systemes paramètrès","year":"2014","author":"mebsout","key":"ref4"},{"key":"ref3","first-page":"123","article-title":"Lazy abstraction with interpolants","author":"mcmillan","year":"2006","journal-title":"CAV"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0257-4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679392"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-642-31612-8_13","article-title":"Generalized property directed reachability","author":"hoder","year":"2012","journal-title":"Theory and Applications of Satisfiability Testing - SAT 2012 – 15th International Conference"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_55"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_36"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-6(4:10)2010"},{"key":"ref2","first-page":"70","article-title":"Sat-based model checking without unrolling","author":"bradley","year":"2011","journal-title":"VMCAI"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_16"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561359"}],"event":{"name":"2017 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2017,10,2]]},"location":"Vienna","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\/08102256.pdf?arnumber=8102256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T23:11:30Z","timestamp":1570317090000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8102256\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":12,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2017.8102256","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}