[Maude-help] Strategy language for Maude

[hamza merouani]

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.


      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.cs.uiuc.edu/pipermail/maude-help/attachments/20100327/b64ffbdb/attachment.html