Inductive Theorem Prover (ITP) Maude Termination Tool Coherence Checker Real-Time Maude Maude Strategy Language

Web-ITP - remote Inductive Theorem Prover Church Rosser Checker Sufficient Completeness Checker Predicate abstraction in Maude (see paper and tool from 2005)

[Maude Home Page]