The Maude System

Maude 3 is planned to be released in December 2019

General Maude Information

• Maude Overview
• The Maude Project and Team
• Rewriting Logic
• Bug Reports and Mailing Lists

Maude Documentation

• Maude Manual and Examples
• Some Papers on Maude and on Rewriting Logic
• Roadmap and Bibliography
• Some Talks on Maude and on Rewriting Logic
• Maude Primer and Examples (not maintained)

Maude-related Tools

• Maude Tools

Obtaining and Using Maude

• Download latest version of Maude 2
• Maude 2 License
• All Maude 2 versions
• Looking for Maude 1?