Tools:CeTA
From Termination-Portal.org
Jump to navigationJump to search
CeTA (Certified Termination Analysis)
- developed at LFU Innsbruck, Austria
- home page: http://cl-informatik.uibk.ac.at/software/ceta/
- developers: Christian Sternagel, René Thiemann, and Harald Zankl
- publication: Certification of Termination Proofs using CeTA
CeTA maintains a list of supported techniques, moreover also the
differences between the various CeTA versions are described.
