Difference between revisions of "Tools:AProVE"
From Termination-Portal.org
Jump to navigationJump to search (added developer Fabian Emmes) |
(set reference to the more recent IJCAR'06 paper) |
||
| Line 12: | Line 12: | ||
|university=RWTH Aachen | |university=RWTH Aachen | ||
|developers=[[People:Jürgen Giesl|Jürgen Giesl]], [[People:René Thiemann|René Thiemann]], [[People:Peter Schneider-Kamp|Peter Schneider-Kamp]], [[People:Stephan Swiderski|Stephan Swiderski]], [[People:Carsten Fuhs|Carsten Fuhs]], [[People:Carsten Otto|Carsten Otto]], [[People:Fabian Emmes|Fabian Emmes]] et al. | |developers=[[People:Jürgen Giesl|Jürgen Giesl]], [[People:René Thiemann|René Thiemann]], [[People:Peter Schneider-Kamp|Peter Schneider-Kamp]], [[People:Stephan Swiderski|Stephan Swiderski]], [[People:Carsten Fuhs|Carsten Fuhs]], [[People:Carsten Otto|Carsten Otto]], [[People:Fabian Emmes|Fabian Emmes]] et al. | ||
| − | |publication=[[Bibtex: | + | |publication=[[Bibtex:GST06|AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework]] |
}} | }} | ||
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | <!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | ||
Revision as of 20:59, 13 May 2009
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: AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework
