Skip Ribbon Commands
Skip to main content


Protocol Design and Validation

Course Arabicname

Course Code

NES 585

Course Credithours


Course Description

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.

Course Linenumber


Course Name

Course Syllabus

Created at 5/11/2016 14:04 by Jawad Dalou'
Last modified at 5/11/2016 14:04 by Jawad Dalou'