Back to Results
First PageMeta Content
Computer arithmetic / Floating point / Fluctuat / Abstract interpretation / Rounding / Interval arithmetic / Loss of significance / NaN / Common logarithm / Lookup table / Affine arithmetic / Signed zero


Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck VĀ“edrine2 1
Add to Reading List

Document Date: 2009-11-24 06:44:27


Open Document

File Size: 348,85 KB

Share Result on Facebook