maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

From: hicheur awatef <a_hicheur AT yahoo.fr>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] A littel question
Date: Mon, 4 May 2009 18:14:23 +0000 (GMT)
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type; b=Zme2xyxQJwRfDH0UC6ZUWE6sAly+HoupxuM+yJ3jjN0wt8LL2ShR8yEPa+1XjVFzzSk8TXM7vgSzp3RfC1mlh36QXSfXggAFlbLsuoAxjrAYIggtXpQEBRnCAFx26ePAgPcoLae6+T3EuUEdyc3myZNpyZZwRpWskFV2SrYkdww=;
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi everyone,

I want to know how can we use the LTL model checker of Maude to prove property under the fairness assumption.

Thank you a lot.

[Maude-help] A littel question, hicheur awatef, 05/04/2009
- Re: [Maude-help] A littel question, Steven Eker, 05/04/2009