Verification of Numerical Programs: From Real Numbers to Floating Point Numbers - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1) , (1) , (2) , (2)
1
2

Dates and versions

cea-01808998 , version 1 (06-06-2018)

Identifiers

Cite

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⟩

Collections

CEA DRT LIST
24 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More