Maude Tools
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
]