The following pages link to Alternation for Termination (Q4930735):
Displaying 8 items.
- Summarization for termination: No return! (Q845247) (← links)
- Temporal prophecy for proving temporal properties of infinite-state systems (Q2058382) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Extended Nested Dual System Groups, Revisited (Q2798774) (← links)
- Proving Termination Through Conditional Termination (Q3303892) (← links)
- Termination for Hybrid Tableaus (Q5431611) (← links)
- Ranking Functions for Linear-Constraint Loops (Q5501930) (← links)