An overview of semantics for the validation of numerical programs

DOI10.1007/978-3-540-30579-8_4MaRDI QIDQ5711510zbMATH OpenOpenAlexFDO

Authors Matthieu Martel

Publication date 6 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b105073

Mathematics Subject Classification ID

Error analysis and interval analysis (65G99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Numerical Software with Result Verification
• Semantics of roundoff error propagation in finite precision calculations
• Limiting semantics of numerical programs
• Floats and Ropes: A Case Study for Formal Numerical Program Verification
• scientific article; zbMATH DE number 4078646

Cited in

(6)

• Limiting semantics of numerical programs
• Abstract Semantic Differencing for Numerical Programs
• Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
• Floats and Ropes: A Case Study for Formal Numerical Program Verification
• Abstract Interpretation of the Physical Inputs of Embedded Programs
• Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics

Describes a project that uses

Uses Software

• ADIC
• MPFI
• Boost Interval Arithmetic

This page was built for publication: An overview of semantics for the validation of numerical programs

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