Jump to content

Tools:AProVE

From Termination-Portal.org

Revision as of 20:25, 25 May 2014 by Fuhs (talk | contribs) (reference current system description for AProVE at IJCAR 2014)

(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: Proving Termination of Programs Automatically with AProVE

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