1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2023
Automated Termination Proofs for C Programs with Lists (Short WST Version)
Jera Hensel, Jürgen Giesl
There are many techniques and tools for termination of C programs, but up to now they were not very powerful for termination proofs of programs whose termination depends on recursi…
cs.LO2023★ 1 cited
Proving Termination of C Programs with Lists
Jera Hensel, Jürgen Giesl
There are many techniques and tools to prove termination of C programs, but up to now these tools were not very powerful for fully automated termination proofs of programs whose te…
cs.LO2023
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
Frank Emrich, Jera Hensel, Jürgen Giesl
Termination analysis of C programs is a challenging task. On the one hand, the analysis needs to be precise enough to draw meaningful conclusions. On the other hand, relevant progr…