The following pages link to Aspic (Q17101):
Displaying 23 items.
- 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)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- Algebraic program analysis (Q832153) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← 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)
- Some Reflections on Two Current Trends in Formal Argumentation (Q2900481) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs (Q3166219) (← links)
- Widening with Thresholds for Programs with Complex Control Graphs (Q3172939) (← links)
- Automatic Modular Abstractions for Template Numerical Constraints (Q3575308) (← links)
- Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs (Q4930721) (← links)
- Proving Termination by Policy Iteration (Q5170173) (← links)
- Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach (Q5170180) (← links)
- Termination Analysis of C Programs Using Compiler Intermediate Languages (Q5389070) (← links)
- Transfer function synthesis without quantifier elimination (Q5891770) (← links)
- Enforcing termination of interprocedural analysis (Q5915716) (← links)
