It is necessary for practitioners of formal methods to be aware of the array of tools available
that support the formal verification of cryptographic protocols. This chapter presents several …