F Frohn - International Conference on Tools and Algorithms for …, 2020 - Springer
Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)
termination of programs operating on integers. To this end, a variety of acceleration …