Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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 (04:56)
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.

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