A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq (Extended abstract)
A Functional Equivalence Verification Suite for High-Performance Scientific Computing
The Toolkit for Accurate Scientific Software
Doubling the precision for the residual and the solution in interval iterative refinement for linear system solving and certifying
Stochastic Arithmetic in Multiprecision
SMT-Style Program Analysis with Value-based Refinements
Properties Provable with Abstract Domains.