maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] A littel question

From: Steven Eker <eker AT csl.sri.com>
To: maude-help AT peepal.cs.uiuc.edu
Cc: maude-help AT peepal.cs.uiuc.edu
Subject: Re: [Maude-help] A littel question
Date: Mon, 4 May 2009 11:25:59 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

There are several notions of fairness. Unless you can encode the one you care
about at an LTL formula and put in on the lhs of an implicant I don't see a
way.

Steven

On Monday 04 May 2009 11:14, hicheur awatef wrote:
> 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