CSMA/CD协议的形式化描述与验证

发布时间：2020-12-22 01:23

　　模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言进行建模实现。最后,使用模型检测工具SPIN对协议实现的正确性、状态可达性以及可能存在的不可推进循环进行了分析和检验,并从结果的有效性和正确性方面得出了相应验证输出图。

【文章来源】：计算机应用. 2013年S2期北大核心

【文章页数】：4 页

【文章目录】：
1 CSMA/CD协议
2协议形式化描述
    2.1消息通道的描述
    2.2进程的描述
        2.2.1 Medium进程
        2.2.2 Node进程
        2.2.3 User进程
        2.2.4 init进程
3协议验证
4结语

本文编号：2930874