Verification of numerical programs: From real numbers to floating point numbers
AE Goodloe, C Muñoz, F Kirchner… - … Field, CA, USA, May 14-16 …, 2013 - Springer
Numerical algorithms lie at the heart of many safety-critical aerospace systems. The
complexity and hybrid nature of these systems often requires the use of interactive theorem …
complexity and hybrid nature of these systems often requires the use of interactive theorem …
[PDF][PDF] Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
AE Goodloe, C Munoz, F Kirchner, L Correnson - researchgate.net
Numerical algorithms lie at the heart of many safety-critical aerospace systems. The
complexity and hybrid nature of these systems often requires the use of interactive theorem …
complexity and hybrid nature of these systems often requires the use of interactive theorem …
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
AE Goodloe, C Munoz, F Kirchner… - NASA Formal Methods …, 2013 - books.google.com
Numerical algorithms lie at the heart of many safety-critical aerospace systems. The
complexity and hybrid nature of these systems often requires the use of interactive theorem …
complexity and hybrid nature of these systems often requires the use of interactive theorem …
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
AE Goodloe, C Munoz, F Kirchner, L Correnson - Formal Methods - Springer
Numerical algorithms lie at the heart of many safety-critical aerospace systems. The
complexity and hybrid nature of these systems often requires the use of interactive theorem …
complexity and hybrid nature of these systems often requires the use of interactive theorem …
[PDF][PDF] Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
AE Goodloe, C Munoz, F Kirchner, L Correnson - core.ac.uk
Numerical algorithms lie at the heart of many safety-critical aerospace systems. The
complexity and hybrid nature of these systems often requires the use of interactive theorem …
complexity and hybrid nature of these systems often requires the use of interactive theorem …
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
AE Goodloe, C Munoz, F Kirchner… - 5th NASA Formal …, 2013 - ntrs.nasa.gov
Numerical algorithms lie at the heart of many safety-critical aerospace systems. The
complexity and hybrid nature of these systems often requires the use of interactive theorem …
complexity and hybrid nature of these systems often requires the use of interactive theorem …
[引用][C] Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
A Goodloe, C Muñoz, F Kirchner, L Correnson - NASA Formal Methods, 2013 - hal.science
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers - Archive
ouverte HAL Accéder directement au contenu Documentation FR Français (FR) Anglais (EN) …
ouverte HAL Accéder directement au contenu Documentation FR Français (FR) Anglais (EN) …
[引用][C] Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
A Goodloe, C Muñoz, F Kirchner… - NASA Formal …, 2013 - cea.hal.science
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers - CEA -
Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu …
Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu …
[PDF][PDF] Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
AE Goodloe, C Munoz, F Kirchner, L Correnson - shemesh.larc.nasa.gov
Numerical algorithms lie at the heart of many safety-critical aerospace systems. The
complexity and hybrid nature of these systems often requires the use of interactive theorem …
complexity and hybrid nature of these systems often requires the use of interactive theorem …
[PDF][PDF] Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
AE Goodloe, C Munoz, F Kirchner, L Correnson - academia.edu
Numerical algorithms lie at the heart of many safety-critical aerospace systems. The
complexity and hybrid nature of these systems often requires the use of interactive theorem …
complexity and hybrid nature of these systems often requires the use of interactive theorem …