Tools:AProVE

From Termination-Portal.org

Revision as of 20:59, 13 May 2009 by Fuhs (talk | contribs) (set reference to the more recent IJCAR'06 paper)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to 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://termination-portal.org/mediawiki/index.php?title=Tools:AProVE&oldid=775"

Navigation menu