Jump to content

Tools:CeTA

From Termination-Portal.org

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.

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Tools:CeTA&oldid=2188"