Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi Camilo:

As far as I know there is no actual implementation of PMaude as such, I guess Peter Olveczky considered the possibility of defining an executable environment for it on top of Full Maude, but I’m not aware on any work there. Perhaps Peter can add something on it. 

We have used PVeStA. Although there is little documentation, it was enough for us to make it run. You can find some further info in Musab’s dissertation, I think to remember. We can give you a hand on that if you need help. 

I’m aware of another fork of VeStA called MultiVeStA, by Andrea Vandin and others. It seems to be better documented, but I have not had the time to play with it yet. http://sysma.imtlucca.it/tools/multivesta/

Cheers,

Paco

On 13 abr 2016, at 18:31, Camilo Rocha <camilo.rocha AT gmail.com> wrote:

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