Maude-help mailing list

[Camilo Rocha <camilo.rocha AT gmail.com>]

Dear all,

I am trying to use PMaude available from:

  http://maude.cs.uiuc.edu/pmaude/pmaude.html

There are conflicts with the current 2.7 version of Maude and Full
Maude. Also, it does not work with Maude and Full Maude 2.0.

I have the following questions:

  0. How do you use PMaude? I know this is somehow a cheeky question,
but I have found very little online.

  1. Are the above sources of PMaude the latest version? If not, could
someone please point me to the latest sources.

  2. I am also trying to run PVeStA and understand how specifications
and tests are fed to it. However, the tool's documentation is scarce
as found on the web. Can someone please point me to its documentation
or more examples?

Best regards,
--

Camilo Rocha