Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
Authors: Florian Frohn and Jürgen Giesl
Paper Information
| Title: | Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description) |
| Authors: | Florian Frohn and Jürgen Giesl |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | lower runtime bounds, non-termination, loop acceleration, complexity analysis, integer transition systems |
| Pages: | 9 |
| Talk: | Aug 10 09:55 (Session 110D: System Evolution and Termination) |
| Paper: |  |