NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Rigorous Floating-Point Round-Off Error Analysis with PRECiSA 4.0
Document ID
20240008984
Acquisition Source
Langley Research Center
Document Type
Presentation
External Source(s)
https://github.com/nasa/PRECiSA
Authors
Laura Titolo (Analytical Mechanics Associates (United States) Hampton, Virginia, United States)
Date Acquired
July 16, 2024
Subject Category
Computer Programming and Software
Meeting Information
Meeting: International Symposium on Formal Methods (FM24)
Location: Milan
Country: IT
Start Date: September 9, 2024
End Date: September 13, 2024
Sponsors: Politecnico di Milano
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
Prototype tool

Related Records

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