The Maude System (original) (raw)

Latest version: Maude 3.5.1

Streets cross at Sunnyvale, CA

Contents

• 1 General Maude Information
• 2 Maude Documentation
• 3 Maude-related Tools and Applications
• 4 Obtaining and Using Maude

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

Maude-related Tools and Applications

• Maude Tools
• Applications

Obtaining and Using Maude

• Maude download and installation
• Maude 3 License
• All Maude 3 versions
• All Maude 2 versions
• Looking for Maude 1?