Login / Signup
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts.
Nikson Bernardes Fernandes Ferreira
Mariano M. Moscato
Laura Titolo
Mauricio Ayala-Rincón
Published in:
FMCAD (2023)
Keyphrases
</>
floating point
provably correct
interval arithmetic
instruction set
fixed point
square root
machine learning
knowledge base
constraint propagation
fast fourier transform
fine grained
formal methods
sparse matrices