Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi Aouatef,

To feed XML into Maude, you either write a parser in Maude or in some
external tool and enter a Maude term in some module. As far as I know,
although this feature has been used by some people, there is no
systematic way of dealing with it.

Regarding the verification of LTL properties I suggest you taking a
look to the Maude manual.

Regards,

Francisco Duran


On Thu, Apr 5, 2012 at 5:10 AM, AOUATEF MRAD 
<aouatef.mrad AT uqac.ca>
 wrote:
> Dear all,
>
> I am a master student in computer science at the university of Quebec at 
> Chicoutimi (UQAC). Currently, My research focuses on runtime monitoring and 
> validation traces.
>
>
>
> In my research, i have a part in wich i use Mauder to verify  some LTL 
> proprieties. My problem is at the translation of an xml file to Maude.
>
> Really, It will be  appreciated if you give me more details about how to 
> convert an xml file to Maude.
>
> Also can you give me the instructions (command line) of how to verify an 
> LTL propriety with Maude.
>
> Thank you in advance  for your cooperation.
>
> Best regards,
>
> Aouatef Mrad
> Étudiante en maitrise informatique(Profil recherche)
> Département d'informatique et de mathématique
> Université du Québec à Chicoutimi
> 555, boul. de l'Université
> Chicoutimi (Québec) G7H 2B1 CANADA
>
>
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help