AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework (2006)
Cached
Download Links
| Venue: | In Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR ’06 |
| Citations: | 69 - 19 self |
BibTeX
@INPROCEEDINGS{Giesl06aprove1.2:,
author = {Jürgen Giesl and Peter Schneider-kamp and René Thiemann},
title = {AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework},
booktitle = {In Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR ’06},
year = {2006},
pages = {281--286},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. AProVE 1.2 is one of the most powerful systems for automated termination proofs of term rewrite systems (TRSs). It is the first tool which automates the new dependency pair framework [8] and therefore permits a completely flexible combination of different termination proof techniques. Due to this framework, AProVE 1.2 is also the first termination prover which can be fully configured by the user. 1
