maude

Unified Maude model-checking tool

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.

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.

Command-line interface to search MAUDE database for medical device adverse events via openFDA API

Maude simulator for MultiVeSta

Streamlit dashboard for exploring FDA MAUDE adverse event reports including patient injuries, device malfunctions, and deaths reported to the FDA. Companion to fda-device-recall-explorer.

Reproducible Python and Power BI analysis of 237,194 FDA MAUDE breast implant reports, with validated quality controls and responsible postmarket interpretation.

A generic statistical verification framework that runs systems under test directly: AWSIM + Autoware, ODE/SDE models, PRISM, and image recognition (BBSL), with binomial CI, DKW, SPRT, EBStop, and importance sampling

Narrowing with strategies in Maude

confluin does confluence checks for Tamarin input files

Bridge ROS2 and Maude for formal verification and simulation of robotic systems.

Command-line tool that turns public FDA MAUDE medical device adverse event reports into a one-page summary for one product code.