Automated verification of floating-point computations in Ada programs

C Fumex, C Marché, Y Moy - 2017 - inria.hal.science
In critical software systems like the ones related to transport and defense, it is common to
perform numerical computations implemented using floating-point arithmetic. Safety …
被引用次数：8 相关文章

Automated Verification of Floating-Point Computations in Ada Programs

C Fumex, C Marché, Y Moy - 2017 - hal.science
In critical software systems like the ones related to transport and defense, it is common to
perform numerical computations implemented using floating-point arithmetic. Safety …

Automated Verification of Floating-Point Computations in Ada Programs

C Fumex, C Marché, Y Moy - 2017 - centralesupelec.hal.science
In critical software systems like the ones related to transport and defense, it is common to
perform numerical computations implemented using floating-point arithmetic. Safety …