{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:08:57Z","timestamp":1784837337625,"version":"3.55.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.23919\/fmcad.2017.8102257","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T21:49:00Z","timestamp":1510264140000},"page":"176-179","source":"Crossref","is-referenced-by-count":47,"title":["Theta: A framework for abstraction refinement-based model checking"],"prefix":"10.23919","author":[{"given":"Tamas","family":"Toth","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Akos","family":"Hajdu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andras","family":"Vorcos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zoltan","family":"Micskei","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Istvan","family":"Majzik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_61"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39570-8_11"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/SAT190106","article-title":"Hardware model checking competition 2014: An analysis and comparison of solvers and benchmarks","volume":"9","author":"cabodi","year":"2016","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2489184"},{"key":"ref16","first-page":"34","article-title":"Exploratory analysis of the performance of a configurable CEGAR framework","author":"hajdu","year":"2017","journal-title":"Proceedings of the 24th PhD Mini-Symposium BUTE DMIS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.253.7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_55"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_71"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_14"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_40"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_33"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_45"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_16"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_21"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0044-z"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_25"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_48"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_15"}],"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\/08102257.pdf?arnumber=8102257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T13:53:24Z","timestamp":1603288404000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8102257\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2017.8102257","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}