The Maude System

Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.

Maude Manual (Version 2.2)

Maude Manual (Version 2.2) ... Maude Manual (Version 2.2). Manuel Clavel. Francisco Durán. Steven Eker. Patrick Lincoln. Narciso Martí-Oliet. José Meseguer ...

Papers on Maude and Rewriting Logic

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by ...

Maude download

The new Maude runs on many Unix variants, including Linux. If you are attempting to install it on Microsoft Windows, please read the separate section. ...

Maude 1

Maude 2 has been released, and is available for download. The new release has many new features, including more efficient algorithms for rewriting, ...

Index of /versions

[DIR] Parent Directory - [DIR] 2.0.1/ 25-Mar-2004 02:37 - [DIR] 2.0/ 25-Mar-2004 02:36 - [DIR] 2.1.1/ 24-Feb-2005 15:47 - [DIR] 2.1/ 02-Apr-2004 06:31 ...

Associating Kripke structures to rewrite theories

Associating Kripke structures to rewrite theories.

Examples: rewrite, frewrite, and search

Examples: rewrite, frewrite, and search. ... Next: Module Operations Up: System Modules Previous: Admissible system modules Contents ...

Model-checking a round-robin scheduling algorithm

Model-checking a round-robin scheduling algorithm.

Moving between reflection levels: upModule, upTerm, downTerm, and ...

Moving between reflection levels: upModule, upTerm, downTerm, and others.