Maude system

Das Maude-System ist eine hochleistungsfähige reflektive Sprache und Umgebung für die computergestützte Modellierung, Analyse und Überprüfung komplexer Systeme. Es wird vom Maude-Team am SRI International Computer Science Laboratory entwickelt. Das Maude-System hat mehrere einzigartige Eigenschaften, die es für die Modellierung, Analyse und Verifikation komplexer Systeme besonders geeignet machen. Dazu gehören die Unterstützung von Modulen höherer Ordnung, eine Vielzahl eingebauter Datenstrukturen und ein leistungsfähiges Modulsystem, das eine breite Palette von Programmierabstraktionen unterstützt. Darüber hinaus bietet das Maude-System eine Reihe von Werkzeugen für die Arbeit mit Maude-Modellen, darunter eine grafische Benutzeroberfläche, ein Modellprüfprogramm und ein Theorembeweiser.