Maude system

El sistema Maude es un lenguaje reflexivo de alto rendimiento y un entorno para el modelado asistido por ordenador, el análisis y la verificación de sistemas complejos. Está desarrollado por el equipo Maude del Laboratorio Internacional de Informática del SRI. El sistema Maude tiene varias características únicas que lo hacen especialmente adecuado para el modelado, análisis y verificación de sistemas complejos. Entre ellas se encuentran su compatibilidad con módulos de orden superior, su rico conjunto de estructuras de datos incorporadas y su potente sistema de módulos, que admite una amplia gama de abstracciones de programación. Además, el sistema Maude proporciona una serie de herramientas para trabajar con modelos Maude, como una interfaz gráfica de usuario, un verificador de modelos y un probador de teoremas.