The following pages link to The octahedron abstract domain (Q859963):
Displaying 13 items.
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- Incremental closure for systems of two variables per inequality (Q1733055) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- On the efficiency of convex polyhedra (Q2130564) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Quadtrees as an Abstract Domain (Q2814109) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA (Q3646167) (← links)
- Logahedra: A New Weakly Relational Domain (Q3648708) (← links)
- TreeKs: A Functor to Make Numerical Abstract Domains Scalable (Q5170170) (← links)
- Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)
