Tools:AProVE

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 et al.
• publication: {{{publication}}}