maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Rewriting with a particular rule

From: María Alpuente <alpuente AT dsic.upv.es>
To: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] Rewriting with a particular rule
Date: Thu, 14 May 2015 09:48:10 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>
Organization: DSIC-UPV

hi Paco,

I'd like to suggest other tools developed by the ELP group in Valencia:

- ABETS. Assertion-based, Maude dynamic analyzer

- iJulienne. Backward Trace Slicer

- ACUOS. Order-Sorted Modular ACU (Least General) Generalization System

- Web-TLR. A Model Checker for Web applications using LTLR

(all available at http://users.dsic.upv.es/grupos/elp/soft.html)

cheers,
María

On 12/5/15 19:34, Francisco Durán wrote:

Of course, it is much more comfortable to use the Anima tool, which is
fantastic and, I think, should be advertised more prominently on the
Maude page.

Suggestion accepted. We’ll include a pointer to the Anime tool.

I’d like to update and complete the Maude tools section in the Maude site.
Suggestions are welcome.

[Maude-help] Rewriting with a particular rule, Vladimir Klebanov, 05/11/2015
- Re: [Maude-help] Rewriting with a particular rule, Steven Eker, 05/11/2015
- Re: [Maude-help] Rewriting with a particular rule, Andrew Cholewa, 05/11/2015
- Re: [Maude-help] Rewriting with a particular rule, Julia Sapiña Sanchis, 05/11/2015
  - Re: [Maude-help] Rewriting with a particular rule, Vladimir Klebanov, 05/12/2015
    - Re: [Maude-help] Rewriting with a particular rule, Francisco Durán, 05/12/2015
      - Re: [Maude-help] Rewriting with a particular rule, María Alpuente, 05/14/2015
        
        Re: [Maude-help] Rewriting with a particular rule, Francisco Durán, 05/14/2015