Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis
- 17 August 2017
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Affine Arithmetic and Applications to Real-Number ProvingPublished by Springer Science and Business Media LLC ,2015
- A Formally Verified Generic Branching Algorithm for Global OptimizationLecture Notes in Computer Science, 2014
- Formalization of Bernstein Polynomials and Applications to Global OptimizationJournal of Automated Reasoning, 2012
- Certifying the Floating-Point Implementation of an Elementary Function Using GappaInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2010
- Static Analysis of Numerical AlgorithmsLecture Notes in Computer Science, 2006
- Affine Arithmetic: Concepts and ApplicationsNumerical Algorithms, 2004
- A Machine-Checked Theory of Floating Point ArithmeticLecture Notes in Computer Science, 1999
- PVS: A prototype verification systemLecture Notes in Computer Science, 1992
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955