Difference between revisions of "Tools:AProVE"
From Termination-Portal.org
Jump to navigationJump to searchm |
|||
| (13 intermediate revisions by 4 users not shown) | |||
| Line 5: | Line 5: | ||
--> | --> | ||
| − | {{ | + | {{Tool |
|shortname=AProVE | |shortname=AProVE | ||
|longname=Automated Program Verification Environment | |longname=Automated Program Verification Environment | ||
| Line 11: | Line 11: | ||
|country=Germany | |country=Germany | ||
|university=RWTH Aachen | |university=RWTH Aachen | ||
| − | |developers=Jürgen Giesl, [[People:Peter Schneider-Kamp|Peter Schneider-Kamp]], Stephan Swiderski, Carsten Fuhs et al. | + | |developers=[[People:Jürgen Giesl|Jürgen Giesl]], [[People:René Thiemann|René Thiemann]], [[People:Peter Schneider-Kamp|Peter Schneider-Kamp]], [[People:Stephan Swiderski|Stephan Swiderski]], [[People:Carsten Fuhs|Carsten Fuhs]], [[People:Carsten Otto|Carsten Otto]], [[People:Fabian Emmes|Fabian Emmes]] et al. |
| + | |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 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
