research
∙
07/20/2023
Automated Termination Proofs for C Programs with Lists (Short WST Version)
There are many techniques and tools for termination of C programs, but u...
research
∙
05/20/2023
Proving Termination of C Programs with Lists
There are many techniques and tools to prove termination of C programs, ...
research
∙
02/05/2023