Sound Numerical Computations in Abstract Acceleration

DOI10.1007/978-3-319-63501-9_4MaRDI QIDQ5086230zbMATH OpenOpenAlexFDO

Authors Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening

Publication date 1 July 2022

Published in Numerical Software Verification (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:69245401-e33b-4f2a-884e-0b33dee0bed2

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Complexity and performance of numerical algorithms (65Y20)

Recommendations

• Abstract fixpoint computations with numerical acceleration methods
• Acceleration of the abstract fixpoint computation in numerical program analysis
• scientific article; zbMATH DE number 5012790
• Accelerated numerical schemes for PDEs and SPDEs
• scientific article; zbMATH DE number 1239855
• scientific article; zbMATH DE number 850084
• Extending abstract acceleration methods to data-flow programs with numerical inputs
• scientific article; zbMATH DE number 65652
• scientific article; zbMATH DE number 123984
• Accelerating scientific computations with mixed precision algorithms

Cited in

(4)

• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
• Runtime abstract interpretation for numerical accuracy and robustness
• Extending abstract acceleration methods to data-flow programs with numerical inputs
• Sound compilation of reals

This page was built for publication: Sound Numerical Computations in Abstract Acceleration

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