Difference between revisions of "Tools:AProVE"
From Termination-Portal.org
Jump to navigationJump to search| Line 5: | Line 5: | ||
--> | --> | ||
| − | {{ | + | {{Tool |
|shortname=AProVE | |shortname=AProVE | ||
|longname=Automated Program Verification Environment | |longname=Automated Program Verification Environment | ||
Revision as of 12:48, 29 March 2008
AProVE (Automated Program Verification Environment)
- developed at RWTH Aachen, Germany
- home page: http://aprove.informatik.rwth-aachen.de
- developers: Jürgen Giesl, Peter Schneider-Kamp, Stephan Swiderski, Carsten Fuhs et al.
- publication: {{{publication}}}
