Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
Abstract elided by the publisher.
Related papers
- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis SAS 2020
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library SAS 2002
- Static Analysis of ReLU Neural Networks with Tropical Polyhedra SAS 2021
- Precise Widening Operators for Convex Polyhedra SAS 2003
- 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
- Polynomial invariant generation for non-deterministic recursive programs PLDI 2020