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.
KeywordsCurrent Module Free Software Foundation Session Module Prove Tool Installation Instruction
Unable to display preview. Download preview PDF.