What is the main difference between scyther, scyther-proof and tamarin automatic security analyzers?

All these tools are related to each other, but I can't decide what is the big thing that distinguishes them from one another.

03 March 2014 7,320 2 View