Tools:AProVE
From Termination-Portal.org
Revision as of 08:40, 10 September 2025 by Eleanore.meyer (talk | contribs)
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
