Simple and Precise Widenings for H-Polyhedra
Abstract elided by the publisher.
Related papers
- Precise Widening Operators for Convex Polyhedra SAS 2003
- Widening Polyhedra with Landmarks APLAS 2006
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra CAV 2007
- Precise Widening Operators for Proving Termination by Abstract Interpretation TACAS 2017
- A²I: abstract² interpretation POPL 2019
- How to combine widening and narrowing for non-monotonic systems of equations PLDI 2013
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025