基于sdl语言的移动ad-hoc网路由协议的设计和验证

论文简要阐述了sdl的基本概念及使用它开发通信协议软件的优点，并给出在移动ad—hoc网路由协议开发中采用sdl语言对路由协议软件进行设计和验证的实例，为通信协议的设计和验证提供了一种有效的方法。