Communication Protocol Specification and Verification

by Richard Lai

Communication protocols are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and difficult to design and implement. Spe…