首页> 中文期刊> 《计算机应用》 >进程调度模型的Spin验证分析与改进

进程调度模型的Spin验证分析与改进

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Spin不仅可以用于通信协议的正确性验证,也可以对其进行有效的安全性分析.对用Promela语言描述的进程调度模型进行分析研究,并对其存在的不足加以改进.增加了LTL式描述,用spin进行模型检测验证,使用Xspin得到了反例状态迁移轨迹图.

著录项

来源
《计算机应用》 |2009年第z2期|158-160|共3页
作者
翁立晨; 汪学明;
展开▼
作者单位

贵州大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类数据安全;
关键词
模型检测; Spin; Promels语言; LTL; 进程调度;

相似文献

中文文献
外文文献
专利

1. 进程调度模型的Spin验证分析与改进 [J] . 翁立晨 ,汪学明 . 计算机应用 . 2009,第b12期
2. 进程调度模型的Spin验证分析与改进 [J] . 翁立晨 ,汪学明 . 计算机应用 . 2009,第s2期
3. 损伤开裂承压壳体泄漏率分析模型改进与验证 [J] . 李建波 ,胡哲文 ,林皋 . 工程力学 . 2023,第9期
4. 基于改进灰色关联分析的仿真模型综合验证方法 [J] . 宁小磊 ,吴颖霞 ,于天朋 . 兵工学报 . 2016,第2期
5. 基于改进灰色关联分析的仿真模型验证方法 [J] . 吴静 ,吴晓燕 ,陈永兴 . 系统工程与电子技术 . 2010,第8期
6. 土体热力学本构模型的改进、验证及有限元分析 [C] . . 第一届全国岩土本构理论研讨会 . 2008
7. 基于模型检测工具SPIN的安全协议分析和验证 [A] . 孙守卿 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号