首页> 中文会议>中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会 >模型检查技术在分布式算法设计中的应用

模型检查技术在分布式算法设计中的应用

页面导航

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

摘要

模型检查是验证有穷状态系统的有用工具.在系统违背性质时它可以给出反例,从而帮助人们发现错误的根源.本文中我们用线性时序逻辑模型检查工具SPIN验证了一个分布式算法,发现了算法中的一些错误.经过改进,最终得到了一个正确的算法.

著录项

来源
《中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会》|2002年|169-177|共9页
会议地点四川广元
作者
赵海云; 郭亮;
展开▼
作者单位

中国计算机学会;

中国科学院计算技术研究所;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类计算技术、计算机技术;
关键词
模型检查; 分布式算法; 分布式系统; 共享存储;
入库时间 2022-08-17 10:17:31

相似文献

中文文献
外文文献
专利

1. 分布式光纤传感技术在蜗壳模型试验中的应用 [J] . 李洁 ,张宏战 ,任亮 . 压电与声光 . 2019,第1期
2. 遥感技术在分布式水文模型中的应用研究进展 [J] . 姜尚堃 ,李飞 ,陈立峰 . 水资源与水工程学报 . 2013,第1期
3. BOTDR 分布式光纤传感技术在充填法采矿模型试验中的应用 [J] . 周冬冬 ,高谦 ,翟淑花 . 金属矿山 . 2009,第009期
4. 滤波反投影混合迭代重建算法全模型迭代重建算法三种重建技术在胸部CT检查中的应用比较 [J] . 马俊杰 ,钮恩斌 . 实用医学影像杂志 . 2021,第005期
5. 全模型迭代重建技术在低剂量CT检查中的应用进展 [J] . 刘鑫 ,侯阳 . 中国医疗设备 . 2018,第005期
6. 分布式水文模型与GIS技术在水资源综合管理中的应用 [C] . 徐宗学 . 2004年全国水文学术讨论会 . 2004
7. 分布式喷泉码在分布式存储系统中的应用模型与方法研究 [A] . 陈霄 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号