 |
Article dans une revue
The pitfalls of verifying floating-point computations
Abstract : Current critical systems commonly use a lot of floating-point computations, and thus the testing or static analysis of programs containing floating-point operators has become a priority. However, correctly defining the semantics of common implementations of floating-point is tricky, because semantics may change with many factors beyond source-code level, such as choices made by compilers. We here give concrete examples of problems that can appear and solutions to implement in analysis software.
Littérature citée [37 références]
https://hal.archives-ouvertes.fr/hal-00128124
Contributeur : David Monniaux <>
Soumis le : jeudi 22 mai 2008 - 11:32:16
Dernière modification le : jeudi 1 juillet 2021 - 17:32:25
Archivage à long terme le : : vendredi 24 septembre 2010 - 12:13:28
Contributeur : David Monniaux <>
Soumis le : jeudi 22 mai 2008 - 11:32:16
Dernière modification le : jeudi 1 juillet 2021 - 17:32:25
Archivage à long terme le : : vendredi 24 septembre 2010 - 12:13:28
Fichiers
floating-point-article.pdf
Fichiers produits par l'(les) auteur(s)