Tools:TPA

From Termination-Portal.org

Jump to: navigation, search

TPA (Termination Proved Automatically)

developed at Eindhoven University of Technology, The Netherlands
home page: http://www.win.tue.nl/tpa
developers: Adam Koprowski
publication:

Retrieved from "http://www.termination-portal.org/wiki/Tools:TPA"

Categories: Tools | Eindhoven University of Technology | The Netherlands

Views

Personal tools

Log in

Image (C) 2002-8 Gershon Elber. Used with permission.

Search

Toolbox