Prerequisite: NES 412, NES 415
This course is an introduction to the formal design, specifications, and validation of communication protocols. Topics include: structured protocol design, protocol models, protocol validation, and protocol correctness requirements. Protocol modeling techniques such as FSM models and Petri net models are considered. Protocol verification techniques: Communicating FSM, reachability analysis, verification using checking, protocol design validation. A known verification modeling language such as PROMELA is considered. Specification and Description Language (SDL) may be considered.
