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 techniques has been ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results