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

Alwyn Goodloe; César Muñoz; Florent Kirchner; Loïc Correnson

doi:10.1007/978-3-642-38088-4_31

Conference Papers Year :

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

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

1
2

Alwyn Goodloe

Function : Author

NASA Langley Research Center [Hampton]

César Muñoz

Function : Author

NASA Langley Research Center [Hampton]

Florent Kirchner

Function : Author
PersonId : 975105

Laboratoire d'Intégration des Systèmes et des Technologies

Loïc Correnson

Function : Author
PersonId : 975106

Laboratoire d'Intégration des Systèmes et des Technologies

Domains

Logic in Computer Science [cs.LO] Software Engineering [cs.SE]

Florent Kirchner : Connect in order to contact the contributor

https://hal-cea.archives-ouvertes.fr/cea-01808998

Submitted on : Wednesday, June 6, 2018-11:58:49 AM

Last modification on : Saturday, June 25, 2022-9:11:26 PM

Dates and versions

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

Identifiers

HAL Id : cea-01808998 , version 1
DOI : 10.1007/978-3-642-38088-4_31

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CEA DRT LIST

26 View

0 Download

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share