路由协议验证相关硕士博士期刊学术论文 - 搜论网

路由协议验证相关论文

基于UPPAAL的路由协议验证

近年来，关于下一代互联网和物联网的研究成果日渐丰富，新的数据通信和传输方法不断涌现。其中，新的路由协议是新型网络的关键部分，其正......

学位

模型检测 UPPAAL 组合技术路由协议验证复杂定时数据

使用模型检验自动化验证路由协议

模型检验可验证路由协议的收敛性,环路问题,包交付失败,由于协议描述的歧义导致的问题,安全性缺陷等.实验一建立关注链路状态数据......

期刊

模型检验路由协议验证形式化方法 SPIN CBMC

看过本文同时还关注