maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Newbie question about Maude checking tools

From: Francisco Durán <duran AT lcc.uma.es>
To: Emmanuel Castro <emmanuel.castro AT laposte.net>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] Newbie question about Maude checking tools
Date: Tue, 17 Aug 2010 00:31:40 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Hi Emmanuel,

El 15/08/2010, a las 19:55, Emmanuel Castro escribió:

> I am new to maude and I am a bit confused by the Maude checking tools:
> - Is there a tool that can check correct, incorrect use of 'protecting' and
> 'extending' keyword?

Not really. You can try the sufficient completeness checker (SCC) and the
ITP.

> - Is the CRCHC3 tool compatible with Maude 2.5? (the web-page states Maude
> 2.4o)?

Yes. The tool is being updated continuously.

> - And more generally is there a standard distribution of the tools stated
> in the Maude manual 2.5 §9.4 ?

The distribution of the tools is not part of the distribution of Maude.

Cheers,

Francisco

[Maude-help] Newbie question about Maude checking tools, Emmanuel Castro, 08/15/2010
- Re: [Maude-help] Newbie question about Maude checking tools, Francisco Durán, 08/16/2010