Difference between revisions of "Tools:AProVE"
From Termination-Portal.org
Jump to navigationJump to search| Line 14: | Line 14: | ||
}} | }} | ||
| − | <!-- 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. --> |
Revision as of 17:04, 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}}}
