Precise Widening Operators for Convex Polyhedra
Abstract elided by the publisher.
Related papers
- Simple and Precise Widenings for H-Polyhedra APLAS 2010
- Using Bounded Model Checking to Focus Fixpoint Iterations SAS 2011
- Widening Polyhedra with Landmarks APLAS 2006
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library SAS 2002
- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra SAS 2005
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools VMCAI 2013
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints TACAS 2009
- Static Analysis of ReLU Neural Networks with Tropical Polyhedra SAS 2021