This text is written to address the specification and verification of communication protocol. It addresses both the needs to specify a protocol using an FDT, an... » 

This text is written to address the specification and verification of communication protocol. It addresses both the needs to specify a protocol using an FDT, and to verify its correctness in order to uncover specification errors in the early stage of a protocol development process. «