Maude system

O sistema Maude é uma linguagem reflexiva de alto desempenho e um ambiente para modelação, análise e verificação de sistemas complexos assistidos por computador. É desenvolvido pela equipa Maude no Laboratório Internacional de Informática do SRI. O sistema Maude tem várias características únicas que o tornam particularmente adequado para a modelação, análise e verificação de sistemas complexos. Estas incluem o seu suporte para módulos de ordem superior, o seu rico conjunto de estruturas de dados incorporadas, e o seu poderoso sistema de módulos que suporta uma vasta gama de abstracções de programação. Além disso, o sistema Maude fornece uma série de ferramentas para trabalhar com modelos Maude, incluindo uma interface gráfica de utilizador, um verificador de modelos, e um provérbio teórico.