Tools:CeTA
From Termination-Portal.org
Jump to navigationJump to search
CeTA (Certified Termination Analysis)
- developed at LFU Innsbruck, Austria
- home page: https://isafor-ceta.uibk.ac.at
- developers: https://isafor-ceta.uibk.ac.at/members.php
- 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.
