Tyrolean Termination Tool 2
Martin Korp17, Christian Sternagel17, Harald Zankl17 and Aart Middeldorp17
| (17) |
Institute of Computer Science, University of Innsbruck, Email: ttt2@informatik.uibk.ac.at, 6020 Innsbruck, Austria |
Abstract
This paper describes the second edition of the Tyrolean Termination Tool—a fully automatic termination analyzer for first-order term rewrite systems. The main features of this tool are its (non-)termination
proving power, its speed, its flexibility due to a strategy language, and the fact that the source code of the whole project
is freely available. The clean design together with a stand-alone OCaml library for term rewriting, make it a perfect starting
point for other tools concerned with rewriting as well as experimental implementations of new termination methods.
Keywords term rewriting - termination - automation
This research is supported by FWF (Austrian Science Fund) project P18763.
References secured to subscribers.