I didn't worked on these security verification tools. When I started doing research in cryptography, I came through about these tools and bookmarked about the website. http://www.infsec.ethz.ch/research/software/scyther-proof
Whatever the analysis tool available, always use the newer/improved version. all the best...