{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:04:49Z","timestamp":1730225089773,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/hotswup.2012.6226614","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:42Z","timestamp":1341869082000},"page":"31-35","source":"Crossref","is-referenced-by-count":2,"title":["Verification of software changes with ExpliSAT"],"prefix":"10.1109","author":[{"given":"Hana","family":"Chockler","sequence":"first","affiliation":[]},{"given":"Sitvanit","family":"Ruah","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"15"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029012"},{"key":"14","article-title":"Incremental methods for FSM traversal","author":"swamy","year":"1995","journal-title":"ICCD"},{"key":"11","first-page":"368","article-title":"Behavioral consistency of C and Verilog programs using bounded model checking","author":"kroening","year":"2003","journal-title":"DAC"},{"key":"12","first-page":"337","article-title":"Specification and verification of concurrent systems in Cesar","volume":"137","author":"queille","year":"1981","journal-title":"LNCS"},{"key":"3","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","volume":"131","author":"clarke","year":"1981","journal-title":"LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70889-6_11"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.1342719"},{"year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34188-5_24"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"4"},{"journal-title":"Software Maintenance Concepts and Practices Second Edition","year":"2005","author":"grubb","key":"9"},{"journal-title":"Goto-cc Compiler","year":"0","key":"8"}],"event":{"name":"2012 Fourth Workshop on Hot Topics in Software Upgrades (HotSWUp)","start":{"date-parts":[[2012,6,3]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218996\/6226605\/06226614.pdf?arnumber=6226614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T20:08:36Z","timestamp":1490126916000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6226614\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/hotswup.2012.6226614","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}