Maude-help mailing list

[jgzhen125 AT 163.com]

I want to know how to use Maude to test the non-reputation and fairness on 
the ZG protocol, I would be very pleasure for your help!<br><br>在2010-03-30 
01:20:05，"Steven Eker" 
<eker AT csl.sri.com>
 写道：
>On Saturday 27 March 2010, hamza merouani wrote:
>> Hi;
>> I work on the modelling of BPEL processes using Maude Strategy language,
>>  and I would like to use model-checking toverifysome properties.   I was
>>  hoping to know if Maude Strategy language support LTL model-checker .
>>  Thinks.
>> 
>
>The model checker does not support the strategy language. Model checking in 
>the presence of strategies is an interesting research problem but currently 
>the model checker using the standard double depth-first search algorithm for 
>finding cycles in the product automaton.
>
>Steven
>_______________________________________________
>Maude-users mailing list
>Maude-users AT cs.uiuc.edu
>http://lists.cs.uiuc.edu/mailman/listinfo/maude-users