Maude system

Systém Maude je vysoce výkonný reflexní jazyk a prostředí pro počítačové modelování, analýzu a verifikaci složitých systémů. Vyvinul jej tým Maude v Mezinárodní laboratoři počítačových věd SRI. Systém Maude má několik jedinečných vlastností, díky nimž je obzvláště vhodný pro modelování, analýzu a ověřování složitých systémů. Patří k nim podpora modulů vyššího řádu, bohatá sada vestavěných datových struktur a výkonný modulový systém, který podporuje širokou škálu programových abstrakcí. Kromě toho systém Maude poskytuje řadu nástrojů pro práci s modely Maude, včetně grafického uživatelského rozhraní, nástroje pro kontrolu modelů a věštce teorémů.