CSL, SRI International & DCS, UIUC

Maude 2 has been released, and is available for download. The new release has many new features, including more efficient algorithms for rewriting, new commands for fair rewriting, new pre-defined modules, an LTL model checker, a META-LEVEL supporting reflective computation, and parametrised theories and view. The content below refers to Maude 1 and is available primarily for archival purposes. Also, once the tools below have been ported to Maude 2, the content would be removed.

 Maude Documentation

  Maude Manual   Maude Tutorial

 Maude Applications

  A Set of Proving Tools for Maude Specifications   Mobile Maude
  Maude Case Studies

 Obtaining and Using Maude

  Download Maude
  Maude License