A calculus for modular loop acceleration and non-termination proofs

Frohn, Florian (Corresponding author); Fuhs, Carsten

Berlin ; Heidelberg [u.a.] : Springer (2022)
Contribution to a conference proceedings, Journal Article

In: International journal on software tools for technology transfer
Volume: 24
Issue: 5
Page(s)/Article-Nr.: 691-715


  • Department of Computer Science [120000]
  • Research Group Computer Science (Programming Languages and Verification) [121420]