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

Inductive Theorem Prover (old version) with Web-ITP Church Rosser Checker Sufficient Completeness Checker Predicate abstraction in Maude (see paper and tool from 2005) Declarative Debugger The Maude Resolution Theorem Prover (RTP) The Maude LTLR Model Checker Equality Enrichments for Order-Sorted Maude Theories

[Maude Home Page]