{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:09:51Z","timestamp":1725473391880},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1109\/rivf.2012.6169864","type":"proceedings-article","created":{"date-parts":[[2012,3,26]],"date-time":"2012-03-26T17:51:16Z","timestamp":1332784276000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs"],"prefix":"10.1109","author":[{"given":"Vinh D.","family":"Thai","sequence":"first","affiliation":[]},{"given":"Tho T.","family":"Quan","sequence":"additional","affiliation":[]},{"given":"Tien V.","family":"Le","sequence":"additional","affiliation":[]},{"given":"Binh T.","family":"Ngo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"52","article-title":"Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic","author":"clarke","year":"1981","journal-title":"J Logic Program"},{"year":"1991","author":"duffy","journal-title":"Principles of automated theorem proving","key":"2"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1145\/242223.242257"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/ARITH.2007.20"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/ICCSIT.2009.5234465"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/512950.512973"},{"year":"1985","journal-title":"ANSI\/IEEE Standard 754-1985","article-title":"IEEE Standard for Binary Floating-Point Arithmetic","key":"4"}],"event":{"name":"Communication Technologies, Research, Innovation, and Vision for the Future (RIVF)","start":{"date-parts":[[2012,2,27]]},"location":"Ho Chi Minh City, Vietnam","end":{"date-parts":[[2012,3,1]]}},"container-title":["2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6168956\/6169815\/06169864.pdf?arnumber=6169864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T12:23:12Z","timestamp":1490098992000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6169864\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/rivf.2012.6169864","relation":{},"subject":[],"published":{"date-parts":[[2012,2]]}}}