Language bindings for Maude

Unified Maude model-checking tool

Interactive Maude

Maude to Lean translator

An Atom package for The Maude System

A Haskell EDSL for conducting threat analysis using Attack Trees

The C infrastructure for the IOP system

LTL model checking of Core-Erlang using term rewriting techniques.

Model checker for Maude systems controlled by strategies

Maude language subset

MAUDEMetrics: Open-source no-code desktop app (macOS, Windows) and Docker service for automated extraction and standardization of FDA MAUDE medical device adverse event data via the openFDA API. Bypasses the 26,000-record limit and produces reproducible, analysis-ready datasets — no programming required.

A toy language based on rewriting using code from Baader and Nipkow.

Maude integration and verification for ROS Nav 2

Maude specification of a Patient Controlled Analgesia (PCA) open system

Pygments lexers for Maude, both batch and interactive.

Graphical interface and graph generator for the Maude strategy model checker

The Open Deduction Proof Editor allows proof theorists (or anyone) to deconstruction proofs step by step. It currently supports deep inference formalisms, namely Open Deduction and naturally the Calculus of Structures. The front end of the application is written in Java, while the back end is written in Maude. There is also an implementation of …

ExMaude provides a high-level Elixir API for interacting with Maude, a powerful formal specification language based on rewriting logic.

Maude exercises for MFI (UPV)

Maude simulator for MultiVeSta