Skip to Content.
Sympa Menu

maude-help - [Maude-help] Model checking & object-oriented modules

maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Model checking & object-oriented modules


Chronological Thread 
  • From: Mihoub Mazouz <mazouz_mihoub AT hotmail.fr>
  • To: Maude HelpSystem <maude-help AT cs.uiuc.edu>
  • Subject: [Maude-help] Model checking & object-oriented modules
  • Date: Mon, 6 Jul 2015 19:40:35 +0100
  • Importance: Normal
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
  • List-id: <maude-help.cs.uiuc.edu>
Dear Maude supporters,

Is it possible to use an object module specifying the behavior of system M instead of a system one.

Thank you so much.

  • [Maude-help] Model checking & object-oriented modules, Mihoub Mazouz, 07/06/2015

Archive powered by MHonArc 2.6.16.

Top of Page