Difference between revisions of "Tools:AProVE"
From Termination-Portal.org
Jump to navigationJump to searchm |
(Changed the developer list to the current website list) |
||
| Line 11: | Line 11: | ||
|country=Germany | |country=Germany | ||
|university=RWTH Aachen | |university=RWTH Aachen | ||
| − | |developers= | + | |developers=https://aprove.informatik.rwth-aachen.de/contact |
|publication=[[Bibtex:AProVE14|Proving Termination of Programs Automatically with AProVE]] | |publication=[[Bibtex:AProVE14|Proving Termination of Programs Automatically with AProVE]] | ||
}} | }} | ||
Latest revision as of 22:23, 6 March 2026
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
