- Download and install ProVerif (http://www.proverif.ens.fr/)
- Download and install FS2PV (http://moscova.inria.fr/~karthik/IITD%20Course/fs2pv.zip)
- Change the paths for FS2PV and ProVerif in Makefile if necessary
- Run 'make emv.pv' to generate the ProVerif model for the F# code
- Run 'make emv.res' to verify the ProVerif model

==Acknowledgements==
The files crypto.fsi, crypto-a.fs, data.fsi, data-a.fs, net.fsi, net-a.fsi, syslib.fsi and syslib-a.fs were taken or based on files from http://moscova.inria.fr/~karthik/IITD%20Course/index.html 
