The following pages link to Ranking Abstractions (Q5458393):
Displaying 8 items.
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- Loop Summarization and Termination Analysis (Q3000639) (← links)
- Abstract Interpretation with Applications to Timing Validation (Q3512479) (← links)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505) (← links)
- Proving Termination of Integer Term Rewriting (Q3636817) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs (Q5191108) (← links)