English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Working of GNYtool
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-06-23 (12:58)
From: Abhishek Daiya <abhishek_daiya@d...>
Subject: Working of GNYtool
Dear All,

I am a computer science student from India. I am working on some security
protocols under my research internship. For analysis of the protocols, I
need to run 'GNYtool' developed by David Monniaux.
http://www-verimag.imag.fr/~monniaux/download/gnytool.tar.gz

I have compiled the tool using 'Ocaml' compiler but I am not able to
figure out how to use the tool. Could anybody please help me out.

Thanking you,

- Abhishek Daiya
BTech, DA-IICT