Tools:AProVE

From Termination-Portal.org
Jump to navigationJump to search


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, Fabian Emmes et al.
  • publication: Proving Termination of Programs Automatically with AProVE


Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Tools:AProVE&oldid=1403"
Categories:
  • Tools
  • RWTH Aachen
  • Germany

Navigation menu

Page actions

  • Tools
  • Discussion
  • View source
  • History

Page actions

  • Tools
  • Discussion
  • More
  • Tools

Personal tools

  • Log in
  • Request account

Navigation

  • Home
  • News
  • People
  • Tools
  • References
  • Categories

resources

  • Workshop on Termination
  • Termination Problems Data Base
  • Termination Competition
  • Termination Tools Mailing List

 

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
Powered by MediaWiki
  • This page was last edited on 25 May 2014, at 20:25.
  • About Termination-Portal.org (Impressum)