A Survey of Protocol Verification Techniques
27 March 2009
Verifying a communication protocol means ensuring that it is free of logical errors prior to implementing it. That is, the goal of verification is to guarantee that the protocol does exactly what the designer needed.