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
Automatic Generation of Guard-Stable Floating-Point Code
Document ID
20205009218
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Laura Titolo (National Institute of Aerospace Hampton, Virginia, United States)
Mariano Moscato (National Institute of Aerospace Hampton, Virginia, United States)
Marco A Feliu (National Institute of Aerospace Hampton, Virginia, United States)
Cesar A Munoz (Langley Research Center Hampton, Virginia, United States)
Date Acquired
October 26, 2020
Subject Category
Computer Programming And Software
Meeting Information
Meeting: 6th International Conference on integrated Formal Methods (iFM)
Location: Lugano, Switzerland (virtual event)
Country: CH
Start Date: November 16, 2020
End Date: November 20, 2020
Sponsors: Universita della Svizzera Italiana
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
Single Expert
Keywords
Floating-Point Arithmetic
Round-off errors
Formal Verification
Theorem Proving
Static Analysis
Formal methods
software verification

Related Records

IDRelationTitle20205003811See AlsoAutomatic Generation of Guard-Stable Floating-Point Code
No Preview Available