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}}}

@@ Line 5: / Line 5: @@
 -->
-{{Tools
+{{Tool
 |shortname=AProVE
 |longname=Automated Program Verification Environment