Communication Protocol Specification and Verification

Communication prools are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and difficult to design and implement. Specifications of communication prools written in a natural language (e.g. English) can be unclear or ambiguous, and may be subject to different interpretations. As a result, independent implementations of the same prool may be incompatible. In addition, the complexity of prools make them very hard to a...