Pages that link to "Item:Q3613383"
From MaRDI portal
The following pages link to Combining Widening and Acceleration in Linear Relation Analysis (Q3613383):
Displayed 21 items.
- Aspic (Q17101) (← links)
- Computing invariants with transformers: experimental scalability and accuracy (Q281287) (← links)
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Algebraic program analysis (Q832153) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Descending chains and narrowing on template abstract domains (Q1671249) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Abstract Fixpoint Computations with Numerical Acceleration Methods (Q2814099) (← links)
- Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs (Q2814110) (← links)
- Lower Runtime Bounds for Integer Programs (Q2817952) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- Tree dimension in verification of constrained Horn clauses (Q4644355) (← links)
- A Calculus for Modular Loop Acceleration (Q5039502) (← links)
- Proving Termination by Policy Iteration (Q5170173) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)
- Narrowing Operators on Template Abstract Domains (Q5206948) (← links)
- Acceleration in Convex Data-Flow Analysis (Q5458862) (← links)
- Enforcing termination of interprocedural analysis (Q5915716) (← links)
- Decoupling the ascending and descending phases in abstract interpretation (Q6176563) (← links)