Report copyright - Certi cation of Nontermination Proofs using Strategies and ... · certi er in TTT2, such that this tool is now able to automatically generate non-termination proofs involving general
Please pass captcha verification before submit form