Download

To execute a specification written in PMaude, you need to install the latest version of Maude version alpha84c available from the following links. For more details about the installation visit here.

Linux Executable maude.linux
Maude Prelude prelude.maude (keep it in the working directory from which you invoke maude.linux)
PMaude Initializer pmaude.maude (keep it in the working directory from which you invoke maude.linux). After executing maude (./maude.linux) load PMaude Initializer by giving the command "load pmaude"
Source

By default the seed 0 is used but a different seed, giving a different function, may be specified by the command line option to maude
-random-seed=int where int is an integer in [0, 2^32-1].

Now try executing the command "rew sampleExpWithRate(1.0) ."