Maude system

Systém Maude je vysoko výkonný reflexný jazyk a prostredie na počítačom podporované modelovanie, analýzu a verifikáciu zložitých systémov. Vyvíja ho tím Maude v Medzinárodnom laboratóriu počítačových vied SRI. Systém Maude má niekoľko jedinečných vlastností, vďaka ktorým je mimoriadne vhodný na modelovanie, analýzu a overovanie zložitých systémov. Patrí k nim podpora modulov vyššieho rádu, bohatý súbor zabudovaných dátových štruktúr a výkonný systém modulov, ktorý podporuje širokú škálu programovacích abstrakcií. Okrem toho systém Maude poskytuje množstvo nástrojov na prácu s modelmi Maude vrátane grafického používateľského rozhrania, programu na kontrolu modelov a overovača tvrdení.