maude-help AT lists.siebelschool.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Emmanuel Castro <emmanuel.castro AT laposte.net>
- To: maude-help AT cs.uiuc.edu
- Subject: [Maude-help] Newbie question about Maude checking tools
- Date: Sun, 15 Aug 2010 19:55:42 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
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?
- Is the CRCHC3 tool compatible with Maude 2.5? (the web-page states Maude 2.4o)?
- And more generally is there a standard distribution of the tools stated in the Maude manual 2.5 §9.4 ?
Thank you
Emmanuel CASTRO
- [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
Archive powered by MHonArc 2.6.16.