Tools:AProVE

From Termination-Portal.org

Revision as of 17:31, 13 May 2009 by C-Otto (talk | contribs)

(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 et al.
publication: Automated Termination Proofs with AProVE

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

Navigation menu