自动验证参数化Leader Election协议

徐蔚文; 陆鑫达

首页> 中文期刊> 《计算机工程》 >自动验证参数化Leader Election协议

自动验证参数化Leader Election协议

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

讨论了一类Leader Election(LE)协议,该类协议通常运行在允许进程随时加入或崩溃的动态环境中,给出了LE协议的参数化版本,即考虑分布式系统中的进程数目任意多的情况.并提出了一种自动验证参数化LE协议的方法,用线性算数约束来模拟可能无限的全局状态集合,利用符号模型检测工具DMC[DP99],文章实现了对参数化LE协议safety性质的自动验证.

著录项

来源
《计算机工程》 |2003年第18期|14-15153|共3页
作者
徐蔚文; 陆鑫达;
展开▼
作者单位

上海交通大学计算机科学与工程系;

上海;

200030;

上海交通大学计算机科学与工程系;

上海;

200030;

展开▼
原文格式 PDF
正文语种 chi
中图分类采用各种新技术的自动检测系统;
关键词
LE协议; 参数化系统; 形式验证;

相似文献

中文文献
外文文献
专利

1. 面向参数化系统验证的自动抽象方法 [J] . 张龙 ,屈婉霞 ,郭阳 . 计算机辅助设计与图形学学报 . 2014,第006期
2. 无线射频RFID识别协议自动验证方法研究 [J] . 宋岚 ,薛锦云 ,胡启敏 . 计算机科学 . 2017,第009期
3. 路由协议的自动形式化验证方法研究 [J] . 黄吴丹 ,严俊琦 . 计算机技术与发展 . 2017,第012期
4. 实时互斥协议的形式化建模与自动验证 [J] . 唐郑熠 ,陈义 ,薛醒思 . 福建工程学院学报 . 2016,第001期
5. 基于协议验证的时间自动机取证模型 [J] . 王健 ,唐振民 . 南京邮电大学学报（自然科学版） . 2016,第006期
6. 面向参数化系统验证的自动抽象方法 [C] . ZHANG Long ,张龙 ,QUWan-xia . 第十七届全国计算机辅助设计与图形学学术会议（CAD/CG’ 2012）暨第九届全国智能CAD与数字娱乐学术会议（CID’ 2012） . 2012
7. 网络安全协议的形式化自动验证优化研究 [A] . 杨锦翔 . 2021

自动验证参数化Leader Election协议

摘要

著录项

相似文献

相关主题

期刊订阅