Tools:AProVE: Difference between revisions
reference current system description for AProVE at IJCAR 2014 |
mNo edit summary |
||
| Line 16: | Line 16: | ||
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | <!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | ||
[[File:Aprove_logo_new.png|400px|thumb|center|AProVE logo]] | |||
Revision as of 08:40, 10 September 2025
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
