Pages that link to "Item:Q2942877"
From MaRDI portal
The following pages link to An abstract interpretation framework for termination (Q2942877):
Displaying 7 items.
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Reflections on termination of linear loops (Q832249) (← links)
- Temporal prophecy for proving temporal properties of infinite-state systems (Q2058382) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Proving Termination by Policy Iteration (Q5170173) (← links)
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations (Q5170174) (← links)
- Multiphase-linear ranking functions and their relation to recurrent sets (Q6536301) (← links)
