Template Polyhedra with a Twist
No abstract available.
Related papers
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra TACAS 2008
- Counterexample-Guided Refinement of Template Polyhedra TACAS 2017
- Space-Time Interpolants CAV 2018
- How to twist pointers without breaking them Haskell 2016
- Twist: sound reasoning for purity and entanglement in Quantum programs POPL 2022
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library SAS 2002