Maude-help mailing list

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

Added. Thanks for your suggestions. 

Cheers,

Paco

> On 14/5/2015, at 9:48, María Alpuente 
> <alpuente AT dsic.upv.es>
>  wrote:
> 
> 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 mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help