Tools:AProVE: Difference between revisions
New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th... |
Changed the developer list to the current website list |
||
| (17 intermediate revisions by 5 users not shown) | |||
| 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]] | |||
}} | }} | ||
<!-- If you want to add some | <!-- 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]] | |||
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
