期刊文章详细信息
CSMA/CD协议的形式化描述与验证
Formal description and validation of CSMA/CD
文献类型：期刊文章
机构地区：[1]73610部队,南京210018
年 份：2013
卷 号：33
期 号：A02
起止页码：235-237
语 种：中文
收录情况：AJ、BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、IC、INSPEC、JST、RCCSE、ZGKJHX、ZMATH、核心刊
摘 要：模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言进行建模实现。最后,使用模型检测工具SPIN对协议实现的正确性、状态可达性以及可能存在的不可推进循环进行了分析和检验,并从结果的有效性和正确性方面得出了相应验证输出图。
关 键 词：PROMELA SPIN 协议验证 载波监听多路访问 冲突检测机制 形式化
分 类 号：TP393.04]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
