180 citations · 951 across the 62 of their papers we have counts for
1 paper · 1 filter
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…