首页> 中文期刊> 《计算机工程与科学》 >在模型检验工具SMV中实现进程阻塞

在模型检验工具SMV中实现进程阻塞

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

模型检验技术是开发高可信软硬件系统的重要途径.目前已经有许多成熟的模型检验工具,SMV就是其中一种常用的工具,可以进行同步或异步系统的自动验证.在异步模型检验中,SMV可以描述进程,但不能直接描述进程的阻塞.本文提出了一种在SMV中利用公平性约束实现阻塞的方法.

著录项

来源
《计算机工程与科学》 |2006年第3期|85-87,105|共4页
作者
王常春; 董威;
展开▼
作者单位

61849部队;

广东;

佛山;

528248;

武汉大学软件工程国家重点实验室;

湖北;

武汉;

430072;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
模型检验; SMV; 进程阻塞;

相似文献

中文文献
外文文献
专利

1. LTL概率模型检验工具的实现与优化 [J] . 林哲超 ,董威 . 计算机工程与科学 . 2017,第005期
2. 如何正确运用t检验——线性回归模型中参数与0比较t检验及SAS实现 [J] . 黄慧杰 ,刘媛媛 ,李长平 . 四川精神卫生 . 2020,第004期
3. 统计分析模型管理工具实现及其在空间辅助决策系统中的应用 [J] . 苏德国 ,李青元 ,董春 . 测绘科学 . 2007,第z1期
4. VRML模型创建工具中可视化交互操作的设计和实现 [J] . 冯桂珍 ,池建斌 ,王晨 . 系统仿真学报 . 2006,第2期
5. UML可视化建模工具中模型一致性检查机制的研究与实现 [J] . 田丽从 ,周伯生 . 计算机应用与软件 . 2005,第001期
6. 一种基于SMV模型的指挥信息系统仿真验证方法设计与实现 [C] . 陈静 ,钱一鸣 ,王泊涵 . 中国电子学会电子系统工程分会第二十一届信息化理论学术研讨会 . 2014
7. 阻塞管理相关问题的研究——金融衍生工具在阻塞管理中的应用 [A] . 杨雯 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号