Relative precision in the inductive assertion method

DOI10.1007/3-540-62598-4_109MaRDI QIDQ6560276zbMATH OpenFDO

Authors Ward Douglas Maurer

Publication date 21 June 2024

Full work available at URL https://doi.org/10.1007/3-540-62598-4_109

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to numerical analysis (65-04) Roundoff error (65G50)

Recommendations

• scientific article; zbMATH DE number 4037276
• scientific article; zbMATH DE number 3870488
• C-language floating-point proofs layered with VST and Flocq
• Floats and Ropes: A Case Study for Formal Numerical Program Verification
• scientific article; zbMATH DE number 2087547

This page was built for publication: Relative precision in the inductive assertion method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560276)