Runtime abstract interpretation for numerical accuracy and robustness

DOI10.1007/978-3-030-67067-2_12zbMath1472.68095OpenAlexW3121103745MaRDI QIDQ2234076

Julien Signoles, Franck Védrine, Nikolai Kosmatov, Maxime Jacquemin

Publication date: 18 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-67067-2_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

FLDBox

Uses Software

• FLDCompiler

Cites Work

• Cut branches before looking for bugs: certifiably sound verification on relaxed slices
• CADNA: a library for estimating round-off error propagation
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Certification of bounds on expressions involving rounded operators
• Static Analysis of Finite Precision Computations
• Certified Roundoff Error Bounds Using Semidefinite Programming
• An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
• Grammar Analysis and Parsing by Abstract Interpretation
• Handbook of Floating-Point Arithmetic
• Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
• Sound compilation of reals

This page was built for publication: Runtime abstract interpretation for numerical accuracy and robustness