Source: wikibot/maude-system
= Maude system
{wiki=Maude_system}
Maude is a high-level programming language and system that is based on rewriting logic. It is designed for specifying, programming, and reasoning about systems in a formal and executable manner. Maude allows for the definition of systems in terms of algebraic specifications, and it can be used for a wide range of applications in formal methods, including model checking, theorem proving, and symbolic simulation.