FORTify

FORTify is a tool for checking certificates based on the formalization of a decision procedure for the first-order theory of rewriting.

Answer
Formula
Certificate
TRS
Additional Options
Timeout
Start
Result