Widening Polyhedra with Landmarks
No abstract available.
Related papers
- Simple and Precise Widenings for H-Polyhedra APLAS 2010
- Precise Widening Operators for Convex Polyhedra SAS 2003
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- Landmarks and regions: a robust approach to data extraction PLDI 2022
- A²I: abstract² interpretation POPL 2019
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library SAS 2002
- Periodic Polyhedra CC 2004
- Template Polyhedra with a Twist SAS 2017