Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT
No abstract available.
Related papers
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP 2021
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Evaluating Design Tradeoffs in Numeric Static Analysis for Java ESOP 2018
- Analysis of Software Patches Using Numerical Abstract Interpretation SAS 2019
- Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution) TACAS 2023
- A²I: abstract² interpretation POPL 2019
- Monotonicity and the Precision of Program Analysis POPL 2024