Certification of Automated Termination Proofs.

Evelyne Contejean Pierre Courtieu Julien Forest Olivier Pons Xavier Urbain

Published in: FroCoS (2007)

Keyphrases

automated theorem provers
semi automated
theorem prover
third party
term rewriting
fully automated
computer algebra
data driven
context sensitive
formal proofs
information systems
automated analysis
active rules
computer aided
theorem proving
clustering algorithm
metadata