The following pages link to (Q4804915):
Displayed 15 items.
- Generating exact nonlinear ranking functions by symbolic-numeric hybrid method (Q394460) (← links)
- Proving termination of nonlinear command sequences (Q470005) (← links)
- A new look at the automatic synthesis of linear ranking functions (Q714505) (← links)
- Summarization for termination: No return! (Q845247) (← links)
- Property-directed incremental invariant generation (Q939166) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Synthesizing ranking functions for loop programs via SVM (Q2084940) (← links)
- Witness to non-termination of linear programs (Q2357364) (← links)
- Termination Graphs for Java Bytecode (Q3058449) (← links)
- Proving Stabilization of Biological Systems (Q3075477) (← links)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505) (← links)
- Liveness by Invisible Invariants (Q3613081) (← links)
- Proving Termination of Integer Term Rewriting (Q3636817) (← links)
- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs (Q5191108) (← links)
- Ranking Functions for Linear-Constraint Loops (Q5501930) (← links)