Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary

Maude System

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification. It offers powerful, high-level modules that can be used to create executable models of complex systems for various purposes, such as rapid prototyping, formal verification, analysis of concurrent or distributed algorithms, and object-oriented design. Features of the Maude system include parameterized modules for object-oriented programming with algebraic extensions over classes and objects.