Static Analysis of Numerical Algorithms

DOI10.1007/11823230_3zbMath1225.68073OpenAlexW1938260438MaRDI QIDQ3613375

Sylvie Putot, Eric Goubault

Publication date: 12 March 2009

Published in: Static Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Roundoff error (65G50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer aspects of numerical algorithms (65Y99)

Related Items (13)

Donut Domains: Efficient Non-convex Domains for Abstract Interpretation ⋮ Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics ⋮ Sparsity preserving algorithms for octagons ⋮ Formal verification of numerical programs: from C annotated programs to mechanical proofs ⋮ Acceleration of the abstract fixpoint computation in numerical program analysis ⋮ Polynomial function intervals for floating-point software verification ⋮ Efficient SAT-based bounded model checking for software verification ⋮ Formal analysis of the compact position reporting algorithm ⋮ A formally verified floating-point implementation of the compact position reporting algorithm ⋮ A zonotopic framework for functional abstractions ⋮ Static Analysis of Finite Precision Computations ⋮ Bracketing backward reach sets of a dynamical system ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm

This page was built for publication: Static Analysis of Numerical Algorithms