Verification of Numerical Programs: From Real Numbers to Floating Point Numbers

Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01808998
Contributor : Florent Kirchner <>
Submitted on : Wednesday, June 6, 2018 - 11:58:49 AM
Last modification on : Wednesday, January 23, 2019 - 2:38:28 PM

Links full text

Identifiers

Collections

CEA | DRT | LIST

Citation

Alwyn Goodloe, César Muñoz, Florent Kirchner, Loïc Correnson. Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. NASA Formal Methods, 2013, Moffett Field, United States. ⟨10.1007/978-3-642-38088-4_31⟩. ⟨cea-01808998⟩

Share

Metrics

Record views

43