CSL, SRI International & DCS, UIUC

 
Maude download and installation

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. In this section, we assume a Linux configuration. Please, substitute your platform name for 'linux' in what follows if you download for another platform. In any case, please consider subscribing to the Maude users mailing list, as this is also the mechanism by which we will make important announcements about the system.

The Maude system download consists of three parts: Core Maude, Full Maude, and documentation.

(If you use XEmacs, then you might find the Maude mode for XEmacs written by Kai Brünnler or Maude mode written by Ellef Gjelstad useful. Extract the mode using the command "gunzip -c maude-mode.tar.gz | tar -xvf -" and follow instructions in maude-mode/README. Note that the Maude mode does not run under GNU Emacs. Please see the README for details. If you are interested in more development environments please take a look at the MOMENT project web site.)

 Core Maude 2.6

Click on the appropriate link below to download the collection of binaries, or click the source link to download and compile the sources yourself.

To install from one of the above binaries, you need GNU gzip and tar. Simply extract the binary as follows: In a Unix shell, type
   gunzip maude.tar.gz 
   tar -xvf maude.tar
This generates the directory maude/ with the following files in it:
   socket.maude
   maude.intelDarwin
   machine-int.maude
   metaInterpreter.maude
   linear.maude
   model-checker.maude
   maude.linux
   prelude.maude
   term-order.maude
   maude.linux64
Depending on your system you can now run maude by starting the appropriate executable file: maude.linux, maude.linux64 or maude.intelDarwin.

 Full Maude 2.6

Full Maude is written in Maude, and is thus platform-independent. Download the new Full Maude and move it into the Core Maude directory (/usr/local/maude-linux/ in the example above).

 Maude manual and primer

The Maude manual is available in PDF format. The examples in the manual are available together with the examples from the Maude book as a zipped archive.

The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available in PDF format. The examples in the primer are available as a tarred gzipped archive.

 Change list from Maude 2.5 to 2.6

A list of the changes from 2.5 to 2.6 is available.

 
[ Maude Home Page]