Modular Static Analysis with Zonotopes
Abstract elided by the publisher.
Related papers
- Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics APLAS 2015
- Synthesizing Precise Static Analyzers for Automatic Differentiation OOPSLA 2023
- A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection CPP 2015
- Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis CAV 2024
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement CAV 2022
- The Zonotope Abstract Domain Taylor1+ CAV 2009
- Modular Static Program Analysis CC 2002