Tools:AProVE

From Termination-Portal.org

Jump to: navigation, search

AProVE (Automated Program Verification Environment)

developed at RWTH Aachen, Germany
home page: http://aprove.informatik.rwth-aachen.de
developers: Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Swiderski, Carsten Fuhs, Carsten Otto, Fabian Emmes et al.
publication: AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework

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

Categories: Tools | RWTH Aachen | Germany

Views

Personal tools

Log in

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

Search

Toolbox