1 paper
Omar Al-Bataineh, Xie Xiaofei, Mark Reynolds
We present an efficient approach to prove termination of monotone programs with integer variables, an expressive class of loops that is often encountered in computer programs. Our…