Difference between revisions of "Tools:CeTA"

From Termination-Portal.org
Jump to navigationJump to search
(add links to feature list of CeTA)
(Updated members of CeTA developers)
 
Line 11: Line 11:
 
|country=Austria
 
|country=Austria
 
|university=LFU Innsbruck
 
|university=LFU Innsbruck
|developers=[[People:Christian Sternagel|Christian Sternagel]], [[People:René Thiemann|René Thiemann]], and [[People:Harald Zankl|Harald Zankl]]
+
|developers=http://cl-informatik.uibk.ac.at/software/ceta/members.php
 
|publication=[[Bibtex:TS09|Certification of Termination Proofs using CeTA]]
 
|publication=[[Bibtex:TS09|Certification of Termination Proofs using CeTA]]
 
}}
 
}}

Latest revision as of 10:25, 6 September 2016


CeTA (Certified Termination Analysis)


CeTA maintains a list of supported techniques, moreover also the differences between the various CeTA versions are described.