Jump to content

Tools:AProVE

From Termination-Portal.org

Revision as of 22:23, 6 March 2026 by JCKassing (talk | contribs) (Changed the developer list to the current website list)

(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: https://aprove.informatik.rwth-aachen.de/contact
publication: Proving Termination of Programs Automatically with AProVE

AProVE logo

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