From Termination-Portal.org

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