{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T04:05:35Z","timestamp":1782878735944,"version":"3.54.5"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/date.2011.5763279","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T22:45:16Z","timestamp":1361313916000},"page":"1-4","source":"Crossref","is-referenced-by-count":17,"title":["Optimized model checking of multiple properties"],"prefix":"10.1109","author":[{"given":"G","family":"Cabodi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S","family":"Nocco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090934"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2041847"},{"key":"ref12","author":"biere","year":"2010","journal-title":"The Model Checking Competition Web Page"},{"key":"ref13","author":"mishchenko","year":"2005","journal-title":"ABC A System for Sequential Synthesis and Verifi cation"},{"key":"ref14","author":"bradley","year":"2010","journal-title":"ic3 SAT-Based Model Checking without Unrolling"},{"key":"ref4","first-page":"108","article-title":"Checking Safety Properties Using Induction and a SAT Solver","volume":"1954","author":"sheeran","year":"2000","journal-title":"Proc Formal Methods in Computer-Aided Design Ser LNCS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113767"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-45069-6_1","article-title":"Interpolation and SAT-based Model Checking","volume":"2725","author":"mcmillan","year":"2003","journal-title":"Proc Computer Aided Verification Ser LNCS"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-40922-X_23","article-title":"SAT-based Verification without State Space Traversal","volume":"1954","author":"bjesse","year":"2000","journal-title":"Formal Methods in Computer-Aided Design Ser LNCS"},{"key":"ref8","first-page":"81","article-title":"Compositional Reasoning in Model Checking","author":"berezin","year":"1998","journal-title":"Proc COMPOS"},{"key":"ref7","first-page":"107","article-title":"Accel-erated Verification of RTL Assertions based on Satisfiability Solvers","author":"fraer","year":"2002","journal-title":"Proc High-Level Design Validation and Test Workshop"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI.Design.2010.47"},{"key":"ref1","first-page":"56","article-title":"Simultaneous SAT-based Model Checking of Safety Properties","author":"khasidashvili","year":"2005","journal-title":"Proc Haifa Verification Conf"},{"key":"ref9","article-title":"Inductively Finding a Reachable State Space Over-Approximation","author":"case","year":"0"}],"event":{"name":"2011 Design, Automation & Test in Europe","location":"Grenoble","start":{"date-parts":[[2011,3,14]]},"end":{"date-parts":[[2011,3,18]]}},"container-title":["2011 Design, Automation & Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5754459\/5762992\/05763279.pdf?arnumber=5763279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T22:44:06Z","timestamp":1562712246000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5763279\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/date.2011.5763279","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}