Pages that link to "Item:Q714505"
From MaRDI portal
The following pages link to A new look at the automatic synthesis of linear ranking functions (Q714505):
Displaying 8 items.
- Certified abstract cost analysis (Q2044174) (← links)
- \textsc{LTL} falsification in infinite-state systems (Q2105460) (← links)
- Complexity and resource bound analysis of imperative programs using difference constraints (Q2398171) (← links)
- On the Termination of Integer Loops (Q2891402) (← links)
- Termination of Single-Path Polynomial Loop Programs (Q3179389) (← links)
- Proving Termination Through Conditional Termination (Q3303892) (← links)
- Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis (Q5108517) (← links)
- Ranking Functions for Linear-Constraint Loops (Q5501930) (← links)
