Protocols and languages. Protocol structure. Structured protocol design. Fundamentals
of Protocol Engineering. Specification and modeling. State Machines and Reachability
Analysis. Formulation of desirable properties of protocols. Formal Logic and
Deduction. Verification techniques. Formal description languages. Protocol synthesis.
Protocol Design. Validation and conformance testing. Computer aided design tools
for protocol engineering (simulation and validation tools). A major project involving
comprehensive design and verification of a non-trivial protocol.​