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... |
No edit summary |
||
| Line 11: | Line 11: | ||
|country=Germany | |country=Germany | ||
|university=RWTH Aachen | |university=RWTH Aachen | ||
|developers=Jürgen Giesl, [[Peter Schneider-Kamp]], Stephan Swiderski, Carsten Fuhs et al. | |developers=Jürgen Giesl, [[People:Peter Schneider-Kamp]], Stephan Swiderski, Carsten Fuhs et al. | ||
}} | }} | ||
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --> | <!-- If you want to add some personal data to your userpage, you can do so after this comment. --> | ||
Revision as of 12:42, 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, People:Peter Schneider-Kamp, Stephan Swiderski, Carsten Fuhs et al.
- publication: {{{publication}}}