Verifying Relative Error Bounds Using Symbolic Simulation
Abstract elided by the publisher.
Related papers
- A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis SAS 2018
- Sound Symbolic Execution via Abstract Interpretation and Its Application to Security VMCAI 2023
- Verifying Low-Dimensional Input Neural Networks via Input Quantization SAS 2021
- Symbolic Execution for Quantum Error Correction Programs PLDI 2024
- ProbNV: probabilistic verification of network control planes ICFP 2021
- STMC: Statistical Model Checker with Stratified and Antithetic Sampling CAV 2020
- Relatively complete counterexamples for higher-order programs PLDI 2015
- Bean: A Language for Backward Error Analysis PLDI 2025