NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
Document ID
20230014919
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Mariano M Moscato (National Institute for Aerospace Technology Madrid, Spain)
Nikson Bernardes Fernandes Ferreira (University of Brasília Brasília, Brazil)
Laura Titolo (Analytical Mechanics Associates (United States) Hampton, Virginia, United States)
Mauricio Ayala-Rincon (University of Brasília Brasília, Brazil)
Date Acquired
October 16, 2023
Subject Category
Mathematical and Computer Sciences (General)
Avionics and Aircraft Instrumentation
Meeting Information
Meeting: Formal Methods in Computer-Aided Design (FMCAD 2023)
Location: Ames, IA
Country: US
Start Date: October 23, 2023
End Date: October 27, 2023
Funding Number(s)
WBS: 34048.07.20.02.01
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
Single Expert
Keywords
program analysis
floating-point

Related Records

IDRelationTitle20230007436See AlsoA Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
No Preview Available