Maude system

Le système Maude est un langage et un environnement réfléchi à haute performance pour la modélisation, l'analyse et la vérification assistées par ordinateur de systèmes complexes. Il est développé par l'équipe Maude du SRI International Computer Science Laboratory. Le système Maude possède plusieurs caractéristiques uniques qui le rendent particulièrement bien adapté à la modélisation, l'analyse et la vérification de systèmes complexes. Il s'agit notamment de son support des modules d'ordre supérieur, de son riche ensemble de structures de données intégrées et de son puissant système de modules qui supporte une large gamme d'abstractions de programmation. En outre, le système Maude fournit un certain nombre d'outils pour travailler avec les modèles Maude, y compris une interface utilisateur graphique, un vérificateur de modèles et un vérificateur de théorèmes.