Proving Conditional Termination
No abstract available.
Related papers
- A Decision Tree Abstract Domain for Proving Conditional Termination SAS 2014
- Proving Termination Through Conditional Termination TACAS 2017
- Proving Termination Starting from the End CAV 2013
- Proving thread termination PLDI 2007
- Proving almost-sure termination by omega-regular decomposition PLDI 2020
- Termination and non-termination specification inference PLDI 2015
- Automated Termination Analysis of Polynomial Probabilistic Programs ESOP 2021
- Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time POPL 2020