maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Debugging object modules written in Full Maude

From: Pavel Strnad <pavel.strnad AT fel.cvut.cz>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Debugging object modules written in Full Maude
Date: Fri, 29 Mar 2013 19:48:50 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Dear Maude users,
I am developing a specification of a concurrent object system using object
modules in Full Maude. I know how to debug and trace standard Maude modules
but the same approach does not work for Full Maude. Can you help me please or
target me to some literature?
Thanks in advance.
Regards
Pavel Strnad

[Maude-help] Debugging object modules written in Full Maude, Pavel Strnad, 03/29/2013
- Re: [Maude-help] Debugging object modules written in Full Maude, Steven Eker, 03/29/2013
  - Re: [Maude-help] Debugging object modules written in Full Maude, Pavel Strnad, 03/29/2013