×

AProVE

swMATH ID: 7831
Software Authors: Jürgen Giesl, Peter Schneider-Kamp, René Thiemann
Description: AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework. 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.
Homepage: http://aprove.informatik.rwth-aachen.de/
Related Software: Tyrolean; Maude; MU-TERM; Haskell; CiME; z3; Matchbox; CeTA; Isabelle/HOL; MiniSat; OBJ3; CoLoR; Jambox; Yices; TPDB; MTT; CafeOBJ; REVE; Coq; TPA
Referenced in: 158 Publications
Further Publications: http://aprove.informatik.rwth-aachen.de/index.asp?subform=references.html
all top 5

Referenced by 183 Authors

25 Giesl, Jürgen
22 Lucas, Salvador
19 Thiemann, René
17 Schneider-Kamp, Peter
13 Fuhs, Carsten
11 Meseguer Guaita, José
11 Middeldorp, Aart
10 Zantema, Hans
8 Frohn, Florian
7 Nishida, Naoki
7 Ströder, Thomas
6 Brockschmidt, Marc
6 Falke, Stephan
6 Gutiérrez, Raúl
6 Hensel, Jera
6 Sternagel, Christian
5 Alarcón, Beatriz
5 Vidal, Germán
5 Waldmann, Johannes
4 Aschermann, Cornelius
4 Borralleras, Cristina
4 Iborra, José
4 Kapur, Deepak
4 Rubio, Albert
4 Sakai, Masahiko
4 Urbain, Xavier
4 Zankl, Harald
3 Durán, Francisco
3 Geser, Alfons
3 Gramlich, Bernhard
3 Hofbauer, Dieter
3 Kop, Cynthia
3 Korp, Martin
3 Navarro-Marset, Rafael
3 Otto, Carsten
3 Plücker, Martin
3 Rodríguez-Carbonell, Enric
3 Stump, Aaron
3 Swiderski, Stephan
3 Winkler, Sarah
2 Abel, Andreas M.
2 Ábrahám, Erika
2 Alpuente, María
2 Aoto, Takahito
2 Ben-Amram, Amir M.
2 Bofill, Miquel
2 Codish, Michael
2 De Schreye, Danny
2 Emmes, Fabian
2 Endrullis, Jörg
2 Escobar, Santiago
2 Genaim, Samir
2 Hendrix, Joe
2 Hirokawa, Nao
2 Klebanov, Vladimir
2 Koprowski, Adam
2 Kremer, Gereon
2 Manolios, Panagiotis
2 Marché, Claude
2 Masaki, Nakamura
2 Moser, Georg
2 Parting, Michael
2 Payet, Étienne
2 Podelski, Andreas
2 Sakabe, Toshiki
2 Schernhammer, Felix
2 Sternagel, Thomas
2 Swiderski, Stephanie
2 Ulbrich, Mattias
2 Yamada, Akihisa
2 Yamada, Toshiyuki
1 Albert, Elvira
1 Avanzini, Martin
1 Babić, Domagoj
1 Bavera, Francisco
1 Beyer, Dirk
1 Bonelli, Eduardo
1 Bouhoula, Adel
1 Boy de la Tour, Thierry
1 Caltais, Georgiana
1 Cimatti, Alessandro
1 Cirstea, Horatiu
1 Clavel, Manuel
1 Contejean, Evelyne
1 Cook, Byron
1 Corzilius, Florian
1 Courtieu, Pierre
1 Deng, Yuxin
1 Dietsch, Daniel
1 D’silva, Vijay
1 Durand, Irène A.
1 Ebner, Gabriel
1 Echenim, Mnacho
1 El Haj Omar, Roba
1 Farzan, Azadeh
1 Forest, Julien
1 Genet, Thomas
1 Godoy, Guillem
1 Griggio, Alberto
1 Gulwani, Sumit
...and 83 more Authors

Referencing Publications by Year