Automating the verification of floating-point programs

C Fumex, C Marché, Y Moy - … , VSTTE 2017, Heidelberg, Germany, July 22 …, 2017 - Springer
In the context of deductive program verification, handling floating-point computations is
challenging. The level of proof success and proof automation highly depends on the way the …
被引用次数：15 相关文章

Automating the Verification of Floating-Point Programs

C Fumex, C Marché, Y Moy - … on Verified Software: Theories, Tools and …, 2017 - hal.science
In the context of deductive program verification, handling floating-point computations is
challenging. The level of proof success and proof automation highly depends on the way the …
[PDF] core.ac.uk

[PDF][PDF] Automating the Verification of Floating-Point Programs

C Fumex, C Marché, Y Moy - core.ac.uk
In the context of deductive program verification, handling floating-point computations is
challenging. The level of proof success and proof automation highly depends on the way the …

Automating the Verification of Floating-Point Programs

C Fumex, C Marché, Y Moy - … July 22-23, 2017, Revised Selected …, 2017 - books.google.com
In the context of deductive program verification, handling floating-point computations is
challenging. The level of proof success and proof automation highly depends on the way the …

Automating the Verification of Floating-Point Programs

C Fumex, C Marché, Y Moy - Verified Software - Springer
In the context of deductive program verification, handling floating-point computations is
challenging. The level of proof success and proof automation highly depends on the way the …

Automating the Verification of Floating-Point Programs

C Fumex, C Marché, Y Moy - 9th Working Conference on Verified …, 2017 - inria.hal.science
In the context of deductive program verification, handling floating-point computations is
challenging. The level of proof success and proof automation highly depends on the way the …