https://easychair.org/smart-slide/slide/GLpW
Proving Non-Termination by Acceleration Driven Clause Learning
non terminationprovingaccelerationdrivenclause
https://deepai.org/publication/proving-non-termination-by-program-reversal
Proving Non-termination by Program Reversal | DeepAI
Apr 2, 2021 - 04/02/21 - We present a new approach to proving non-termination of non-deterministic integer programs. Our technique is rather simple but eff...
non terminationby programprovingreversaldeepai