Preliminary Notes on Termination and Non-Termination Reasoning
arXiv:1309.3128
Abstract
In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.
arXiv:1309.3128
In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.