NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Taming Floating-point Errors in Avionics Applications at NASA
Document ID
20240008964
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Laura Titolo (Analytical Mechanics Associates (United States) Hampton, Virginia, United States)
Date Acquired
July 15, 2024
Subject Category
Computer Programming and Software
Meeting Information
Meeting: Lipari Summer School on Abstract Interpretation
Location: Lipari
Country: IT
Start Date: September 1, 2024
End Date: September 7, 2024
Sponsors: University of Parma
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
Single Expert
Keywords
Floating-Point
Static Analysis
Theorem proving

Related Records

There are no records associated with this record.
No Preview Available