Verifying Numerical Programs via Iterative Abstract Testing
Abstract elided by the publisher.
Related papers
- Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI 2023
- Logico-Numerical Max-Strategy Iteration VMCAI 2013
- Speeding Up Logico-Numerical Strategy Iteration SAS 2014
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis ESOP 2010
- Automatic tiling of iterative stencil loops TOPLAS 2004
- Analyzing Program Analyses POPL 2015
- An abstract memory functor for verified C static analyzers ICFP 2016
- A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs CAV 2025