Pages that link to "Item:Q2926643"
From MaRDI portal
The following pages link to Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (Q2926643):
Displaying 6 items.
- Abstract interpretation meets convex optimization (Q435969) (← links)
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Exact join detection for convex polyhedra and other numerical abstractions (Q2269830) (← links)
- Abstract fixpoint computations with numerical acceleration methods (Q2814099) (← links)
- ROBUST SET OPERATIONS ON POLYHEDRAL SOLIDS: A FIXED PRECISION APPROACH (Q4889506) (← links)