A Calculus for Modular Non-Termination Proofs by Loop Acceleration
Authors: Florian Frohn and Carsten Fuhs
Paper Information
| Title: | A Calculus for Modular Non-Termination Proofs by Loop Acceleration |
| Authors: | Florian Frohn and Carsten Fuhs |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | Non-Termination, Program Verification, Loop Acceleration, Integer Transition Systems |
| Pages: | 5 |
| Talk: | Aug 11 14:00 (Session 127R) |
| Paper: |  |