{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:59:13Z","timestamp":1729673953667,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/date.2009.5090855","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:39Z","timestamp":1361297799000},"page":"1246-1249","source":"Crossref","is-referenced-by-count":2,"title":["Property analysis and design understanding"],"prefix":"10.1109","author":[{"given":"U.","family":"Kuhne","sequence":"first","affiliation":[]},{"given":"D.","family":"Grosse","sequence":"additional","affiliation":[]},{"given":"R.","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.41"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"17","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/10722167_34","article-title":"temporal-logic queries","author":"chan","year":"2000","journal-title":"Computer Aided Verification"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2008.17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237171"},{"key":"15","first-page":"880","article-title":"validating sat solvers using an independent resolution-based checker: practical implementations and other applications","author":"zhang","year":"2003","journal-title":"Design Automation and Test in Europe"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9084-z"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371225"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253718"},{"key":"11","first-page":"485","article-title":"vacuum cleaning ctl formulae","volume":"2404","author":"purandare","year":"2002","journal-title":"ser LNCS"},{"key":"12","first-page":"3","article-title":"exploiting resolution proofs to speed up ltl vacuity detection for bmc","author":"simmonds","year":"2007","journal-title":"Int'l Conf on Formal Methods in CAD"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484908"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.32"},{"key":"20","first-page":"274","article-title":"design understanding by automatic property generation","author":"fey","year":"2004","journal-title":"Workshop on Synthesis And System Integration of Mixed Information technologies"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/514117.514121"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_8"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2006092"},{"key":"6","first-page":"193","article-title":"symbolic model checking without bdds","volume":"1579","author":"biere","year":"1999","journal-title":"ser LNCS"},{"key":"5","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/TCAD.2008.925790","article-title":"analyzing functional coverage in bounded model checking","volume":"27","author":"gro\ufffde","year":"2008","journal-title":"IEEE Trans on CAD"},{"key":"4","article-title":"complete formal verification of tricore2 and other processors","author":"bormann","year":"2007","journal-title":"Design and Verification Conference (DVCON)"},{"key":"9","first-page":"279","article-title":"efficient detection of vacuity in actl formulas","volume":"1254","author":"beer","year":"1997","journal-title":"ser LNCS"},{"journal-title":"Accellera Property Specification Language Reference Manual Version 1 1","year":"2005","key":"8"}],"event":{"name":"2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09)","start":{"date-parts":[[2009,4,20]]},"location":"Nice","end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Design, Automation & Test in Europe Conference & Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4926138\/5090609\/05090855.pdf?arnumber=5090855","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T07:48:07Z","timestamp":1498031287000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5090855\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/date.2009.5090855","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}