Pages that link to "Item:Q3648708"
From MaRDI portal
The following pages link to Logahedra: A New Weakly Relational Domain (Q3648708):
Displaying 10 items.
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Incremental closure for systems of two variables per inequality (Q1733055) (← links)
- On the efficiency of convex polyhedra (Q2130564) (← links)
- Quadtrees as an abstract domain (Q2814109) (← links)
- A note on the inversion join for polyhedral analysis (Q2814111) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- The Abstract Domain of Parallelotopes (Q5170166) (← links)
- TreeKs: A Functor to Make Numerical Abstract Domains Scalable (Q5170170) (← links)
- Clustered relational thread-modular abstract interpretation with local traces (Q6535225) (← links)