{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:41:29Z","timestamp":1749318089232},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642380877"},{"type":"electronic","value":"9783642380884"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38088-4_31","type":"book-chapter","created":{"date-parts":[[2013,5,9]],"date-time":"2013-05-09T00:38:27Z","timestamp":1368059907000},"page":"441-446","source":"Crossref","is-referenced-by-count":23,"title":["Verification of Numerical Programs: From Real Numbers to Floating Point Numbers"],"prefix":"10.1007","author":[{"given":"Alwyn E.","family":"Goodloe","sequence":"first","affiliation":[]},{"given":"C\u00e9sar","family":"Mu\u00f1oz","sequence":"additional","affiliation":[]},{"given":"Florent","family":"Kirchner","sequence":"additional","affiliation":[]},{"given":"Lo\u00efc","family":"Correnson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Baudin, P., Cuoq, P., Filli\u00e2tre, J.-C., March\u00e9, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI\/ISO C Specification Language, version 1.6 (2012)"},{"key":"31_CR2","unstructured":"Bobot, F., Filli\u00e2tre, J.-C., March\u00e9, C., Paskevich, A.: Why3: Shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, Wroc\u0142aw, Poland, pp. 53\u201364 (August 2011)"},{"key":"31_CR3","unstructured":"Boldo, S., Nguyen, T.M.T.: Hardware-independent proofs of numerical programs. In: NASA Formal Methods, pp. 14\u201323 (2010)"},{"issue":"1","key":"31_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"D. Goldberg","year":"1991","unstructured":"Goldberg, D.: What every computer scientist should know about floating point arithmetic. ACM Computing Surveys\u00a023(1), 5\u201348 (1991)","journal-title":"ACM Computing Surveys"},{"key":"31_CR5","unstructured":"IEEE Task P754. ANSI\/IEEE 754-1985, Standard for Binary Floating-Point Arithmetic. IEEE (1985)"},{"key":"31_CR6","unstructured":"Marh\u00e9, C., Moy, Y.: The Jessie Plugin for Deductive Verification in Frama-C. INRIA Saclay \u00cele-de-France and LRI, CNRS UMR (2012)"},{"key":"31_CR7","unstructured":"Melquiond, G.: User\u2019s Guide for Gappa. INRIA (2012)"},{"key":"31_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6","volume-title":"Handbook of Floating-Point Arithmetic","author":"J.-M. Muller","year":"2010","unstructured":"Muller, J.-M., Brisebarre, N., de Dinechin, F., Jeannerod, C.-P., Lef\u00e8vre, V., Melquiond, G., Revol, N., Stehl\u00e9, D., Torres, S.: Handbook of Floating-Point Arithmetic. Birkh\u00e4user, Boston (2010)"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction - CADE-11","author":"S. Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 748\u2013752. Springer, Heidelberg (1992)"},{"key":"31_CR10","unstructured":"Wing, D.J., Cotton, W.B.: Autonomous flight rules a concept for self-separation in U.S. domestic airspace. Technical Publication NASA\/TP-2011-217174, NASA, Langley Research Center, Hampton VA 23681-2199, USA (November 2011)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38088-4_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T23:36:54Z","timestamp":1557704214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38088-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642380877","9783642380884"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38088-4_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}