D Massé - … Conference on Verification, Model Checking, and …, 2014 - Springer
Termination analyzers generally synthesize ranking functions or relations, which represent
checkable proofs of their results. In [23], we proposed an approach for conditional …