Preliminary Notes on Termination and Non-Termination Reasoning

In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.