Esta es una pequeñ a introduccion de Maude, un lenguaje declarativo con gran potencia de calculo.-Esta es una pequeñ a introduccion de Maude, un lenguaje declarativo con gran potencia de calculo.

Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.

Maude也是一种模型检测验证工具，它是一个集成的验证平台。-model checker