Disproving termination with overapproximation FMCAD’14 Created Time : 2022-03-28 19:57 Status: reference Related Topic : 非终止性分析