{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:45:04Z","timestamp":1730342704021,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.23919\/date.2018.8341977","type":"proceedings-article","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T19:20:11Z","timestamp":1524511211000},"page":"43-48","source":"Crossref","is-referenced-by-count":7,"title":["Efficient verification of multi-property designs (The benefit of wrong assumptions)"],"prefix":"10.23919","author":[{"given":"Eugene","family":"Goldberg","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Gudemann","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Kroening","sequence":"additional","affiliation":[]},{"given":"Rajdeep","family":"Mukherjee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"ref10"},{"key":"ref11","article-title":"To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties","author":"camurati","year":"2014","journal-title":"DIFTS"},{"key":"ref12","first-page":"321","article-title":"Specification and design of (parallel) programs","author":"jones","year":"1983","journal-title":"Proceedings of the IFIP 9th World Congress"},{"key":"ref13","first-page":"123","article-title":"In transition from global to modular temporal reasoning about programs","volume":"13","author":"pnueli","year":"1984","journal-title":"Logics Models Concurrent Syst"},{"key":"ref4","article-title":"Efficient implementation of property directed reachability","author":"e\u00e9n","year":"2011","journal-title":"FMCAD"},{"key":"ref3","first-page":"70","article-title":"SAT-based model checking without unrolling","author":"bradley","year":"2011","journal-title":"VMCAI"},{"journal-title":"ABC A System for Sequential Synthesis and Verification","year":"2017","author":"synthesis","key":"ref6"},{"journal-title":"Efficient verification of multi-property designs (the benefit of wrong assumptions) (extended version)","year":"2017","author":"goldberg","key":"ref5"},{"key":"ref8","article-title":"Incremental formal verification of hardware","author":"chockler","year":"2011","journal-title":"FMCAD"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2015.107"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781333"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763279"}],"event":{"name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2018,3,19]]},"location":"Dresden","end":{"date-parts":[[2018,3,23]]}},"container-title":["2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8337149\/8341968\/08341977.pdf?arnumber=8341977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T20:03:05Z","timestamp":1527537785000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8341977\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.23919\/date.2018.8341977","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}