maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Strategy language for Maude

From: hamza merouani <merouanihamza AT yahoo.fr>
To: Maude-users AT cs.uiuc.edu, maude-help AT cs.uiuc.edu
Subject: [Maude-help] Strategy language for Maude
Date: Sat, 27 Mar 2010 11:59:47 +0000 (GMT)
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Hi;
I work on the modelling of BPEL processes using Maude Strategy language, and I would like to use model-checking toverify some properties. I was hoping to know if Maude Strategy language support LTL model-checker .
Thinks.

[Maude-help] Strategy language for Maude, hamza merouani, 03/27/2010
- Re: [Maude-help] Strategy language for Maude, Steven Eker, 03/29/2010