Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

Maude software language

Example of Maude specification

Maude, SRI’s high-performance declarative software language and system, is among the fastest equational rewriting systems in its class. Maude supports both equational and rewriting logic specification and programming for a wide range of applications. Important applications include metalanguage, in which the system is used to create executable environments for different logics, theorem provers, languages, and models of computation.

Maude is available to software developers at no charge.

close check icon

Message Sent

Success! - Thank you for your interest.


SRI and its partners use cookies to improve your browsing experience. If you continue to use this website without changing your cookie settings, you are consenting to the use of cookies by SRI and its partners. For more information on SRI’s privacy practices, including how to decline the use of cookies, please read our Privacy Statement.

I agree
share dwonload plus email external external project copy play call directions linkedin