Maude-help mailing list

[rza AT Cs.Nott.AC.UK]

Dear All,

 I am a new user of Maude. I see at http://maude.sip.ucm.es/strategies/ 
the Strategy language for Maude along with some examples. If you look at 
RIVER-CROSSING example, we see that in the RIVER-CROSSING-STRAT module 
(which is a strategy module) there is no inclusion like "protecting 
RIVER-CROSSING ." However,it works exactly in the way it shows here. When I 
am adding protecting RIVER-CROSSING . in the RIVER-CROSSING-STRAT module it 
doesn't work exactly in that way.

 Moreover can anyone please let me know using this kind of strategy how 
can I use search command (e.g., to check invariant property something like, 
search in MODULE : init =>! c(right)g(right)s(right)w(right) ). or so.

Many thanks,

 --Abdur

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.