Automated Termination Proofs with AProVE.

Jürgen Giesl René Thiemann Peter Schneider-Kamp Stephan Falke

Published in: RTA (2004)

Keyphrases

automated theorem provers
term rewriting
semi automated
computer assisted
theorem prover
theorem proving
data driven
fully automated
formal proof
real time
website
case study
computer aided