Maude system

Maude system is a high-performance reflective language and environment for computer-aided modeling, analysis and verification of complex systems. It is developed by the Maude team at the SRI International Computer Science Laboratory. The Maude system has several unique features that make it particularly well-suited for modeling, analysis and verification of complex systems. These include its support for higher-order modules, its rich set of built-in data structures, and its powerful module system which supports a wide range of programming abstractions. In addition, the Maude system provides a number of tools for working with Maude models, including a graphical user interface, a model checker, and a theorem prover.