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
PRECiSA: From Real Specifications to Floating-point Implementations
Document ID
20220012051
Acquisition Source
Langley Research Center
Document Type
Poster
Authors
Laura Titolo (National Institute of Aerospace Hampton, Virginia, United States)
Mariano Moscato (National Institute for Aerospace Technology Madrid, Spain)
Marco Feliu (National Institute of Aerospace Hampton, Virginia, United States)
Date Acquired
August 5, 2022
Subject Category
Mathematical And Computer Sciences (General)
Meeting Information
Meeting: NIA Summer Picnic & Research Fair
Location: Hampton, VA
Country: US
Start Date: August 18, 2022
Sponsors: National Institute of Aerospace
Funding Number(s)
WBS: 340428.02.20.07.01
CONTRACT_GRANT: NNL09AA00A
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
Single Expert
Keywords
floating-point
formal methods
static analysis

Related Records

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