Using Maude

The Maude system is available, free of charge, under the terms of the GNU General Public License as published by the Free Software Foundation, at the Maude home page (a snapshot is shown in Figure 2.1) http://maude.cs.uiuc.edu .

There you can also find documentation about Maude, including a Maude primer, some papers on Maude and rewriting logic, and several Maude applications, including a set of proving tools for Maude specifications and Maude case studies.

Maude binaries are provided for selected architectures and operating systems, including Linux and MacOS X. Detailed information on this can be found in the Maude web site, where installation instructions are also available.

The companion cd-rom contains the latest version of Maude available at the time of writing, together with the complete source code of all the examples in this book.

Authors and Affiliations

1. Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, s/n 28040 Madrid, Spain

   Manuel Clavel & Narciso Martí-Oliet

2. Universidad de Málaga, Departamento de Lenguajes y Ciencias de la Computación, Boulevard Louis Pasteur, s/n. Campus de Teatinos, 29071 Málaga, Spain

   Francisco Durán

3. SRI International, Computer Science Laboratory, 333 Ravenswood Ave., Menlo Park, CA 94025-3493, USA

   Steven Eker & Patrick Lincoln

4. University of Illinois at Urbana-Champaign, Department of Computer Science, Siebel Center for Computer Science, 201 N. Goodwin, Urbana, IL 61801-2302, USA  ,  

   José Meseguer

5. SRI International, USA

   Carolyn Talcott

Reprints and permissions

© 2007 Springer Berlin Heidelberg

Policies and ethics