Jump to content

Tools:AProVE

From Termination-Portal.org

Revision as of 20:50, 13 May 2009 by Fuhs (talk | contribs) (added developer Fabian Emmes)

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

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: Automated Termination Proofs with AProVE

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Tools:AProVE&oldid=773"