{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T09:24:47Z","timestamp":1725441887102},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/fmcad.2015.7542251","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T16:28:56Z","timestamp":1471278536000},"page":"41-48","source":"Crossref","is-referenced-by-count":1,"title":["Formal verification of automatic circuit transformations for fault-tolerance"],"prefix":"10.1109","author":[{"given":"Dmitry","family":"Burlyaev","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Fradet","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)90009-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF00121125"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014122630277"},{"key":"ref13","first-page":"33","article-title":"A correctness model for pipelined multiprocessors","author":"windley","year":"1994","journal-title":"Theorem Provers in Circuit Designs"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0048-3"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25379-9_24"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031817"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_25"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_14"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2015.7231164"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028924"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1216919.1216950"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228585"},{"year":"2014","key":"ref8","article-title":"Coq proofs of circuit transformations for fault-tolerance"},{"journal-title":"The coq proof assistant software and documentation","year":"1989","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.70"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2684746.2689058"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802026"}],"event":{"name":"2015 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2015,9,27]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7539356\/7542233\/07542251.pdf?arnumber=7542251","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T16:53:59Z","timestamp":1489769639000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7542251\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2015.7542251","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}