收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

并发和实时系统的模型检验技术

董威  王戟  齐治昌  
【摘要】：模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略 ,并给出解决状态爆炸问题的主要方法 ;然后介绍了针对实时系统以及面向对象设计的模型检验方法 ;对每种方法都介绍了相应的典型工具 .最后分析了模型检验面临的困难以及今后发展趋势

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 叶剑虹;叶双;宋文;孙世新;;基于TdPN的迷宫问题求解[J];计算机科学;2011年07期
2 宋威;刘文博;李晋宏;;基于动态裁剪频繁模式树的频繁项集并发挖掘算法[J];山东大学学报(工学版);2011年04期
3 李德新;;一种新的实时动态信息数据压缩模型[J];福建电脑;2011年07期
4 宾莉金;沈奇威;;内容管理系统存储层的设计与实现[J];计算机工程与设计;2011年06期
5 ;远离拥堵 交通状况实时晓——谷歌纵横[J];数字生活;2011年08期
6 ;InfiniteGraph可伸缩图形数据库商业版上市[J];电子与电脑;2011年09期
7 周立伟;;《多模式实时电子稳像仪器的研究》专栏文章导读[J];光学精密工程;2011年08期
8 王文武;王华昌;;实时人脸检测模块的设计和实现[J];计算机与数字工程;2011年06期
9 金东彬;包永军;林红梅;;浅谈CORS技术在构建数字城市中的应用[J];才智;2011年22期
10 张玲玲;;视频实时信息亭系统的设计与实现[J];电脑知识与技术;2011年15期
11 ;手机地带[J];电脑迷;2011年16期
12 沈萦华;方瑜骅;吕朝辉;李春红;;舞台灯光虚拟效果的设计与实现[J];中国传媒大学学报(自然科学版);2011年02期
13 ;无线技术使亨斯迈工程实现零缺陷目标[J];软件;2010年Z1期
14 王珣;;谁动了我的爱车?[J];信息方略;2010年19期
15 林昊;;从Sun JDK5、6、7看Java的提升[J];程序员;2010年08期
16 ;NOC快讯[J];中国信息技术教育;2011年Z1期
17 钟娟;章曙光;孙富康;张明;;组件风格定制预览的研究与实现[J];计算机技术与发展;2011年07期
18 张琦;;基于RFID技术的物流应用解决方案[J];中国科技信息;2011年15期
19 ;手机软件串串烧[J];电脑爱好者;2011年11期
20 ;IT总监“芯”一天的开始[J];信息方略;2010年18期
中国重要会议论文全文数据库 前10条
1 古天龙;周春晖;;实时离散事件问题的扩展自动机描述与控制[A];1997中国控制与决策学术年会论文集[C];1997年
2 刘浩;董雁冰;王亚辉;张广;李霞;;实时大气传输计算软件的研制[A];2006年全国光电技术学术交流会会议文集（A 光电系统总体技术专题）[C];2006年
3 刘大奔;叶军;徐秉铮;;一个实时汉语语音识别系统的硬件设计[A];第三届全国人机语音通讯学术会议论文集[C];1994年
4 刘雪冬;赵合计;;基于Erlang语言构建加密计算机集群[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
5 邓峰;戴擎宇;何佩琨;毛二可;;基于TMS320C80的图像并行处理技术研究[A];第九届全国信号处理学术年会（CCSP-99）论文集[C];1999年
6 洪波;罗学礼;石少勇;张志生;;基于VR技术的变电站仿真系统的研究[A];2008年云南电力技术论坛论文集[C];2008年
7 邵捷;王坚;马云龙;;城市高架道路交通实时仿真及预测[A];先进制造技术高层论坛暨第六届制造业自动化与信息化技术研讨会论文集[C];2007年
8 齐美彬;童卫勇;蒋建国;;基于YUV彩色空间的实时阴影抑制算法[A];中国仪器仪表学会第九届青年学术会议论文集[C];2007年
9 钟凡;秦学英;陈佳舟;莫铭臻;彭群生;;在线视频分割实时后处理[A];中国计算机图形学进展2008--第七届中国计算机图形学大会论文集[C];2008年
10 赵青;龚昊;;NoSQL推动新闻业务发展的应用研究[A];中国新闻技术工作者联合会2011年学术年会论文集（上篇）[C];2011年
中国博士学位论文全文数据库 前9条
1 郑光;并发系统的动作细化理论[D];兰州大学;2008年
2 濮方琍;并行程序测试的关键技术研究[D];华中科技大学;2009年
3 李仕;航空异速像移模糊实时恢复算法研究与GPU平台实现[D];中国科学院研究生院（长春光学精密机械与物理研究所）;2010年
4 徐超;基于协同交互的表情识别和情感体验建模方法研究[D];天津大学;2010年
5 孙红梅;分布式虚拟场景实时绘制技术的研究与实现[D];中国科学院研究生院（计算技术研究所）;2001年
6 林强;隧道支护体结构健康监测技术研究[D];长安大学;2010年
7 强彦;数据库负载自适应技术研究[D];太原理工大学;2010年
8 倪萍;流数据挖掘关键技术研究[D];北京邮电大学;2010年
9 赵亮;面向位置服务的移动对象并发查询处理技术[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 李莉丽;实时分布系统容错调度算法的设计与实现[D];电子科技大学;2005年
2 郑小红;面向通信行业的嵌入式软件平台的研究[D];哈尔滨工程大学;2005年
3 裴闪;重型燃气轮机发电机组实时仿真模型研究[D];华北电力大学（河北）;2007年
4 谭琦;嵌入式操作系统通信和同步机制的研究[D];长沙理工大学;2005年
5 王兴武;通用火力发电机组实时指标考核系统的研究与实现[D];华北电力大学（河北）;2005年
6 梁佳;基于DSP高速公路能见度测量系统的研究[D];长安大学;2007年
7 王刚;实时线程池的研究与设计[D];华中科技大学;2007年
8 陈必泉;基于UML状态图的嵌入式实时软件测试用例生成方法研究[D];暨南大学;2005年
9 刘惠颖;基于组件的实时信息发布系统的研究与实现[D];华北电力大学（河北）;2006年
10 逄守文;机舱三维视景建模及漫游软件开发[D];武汉理工大学;2005年
中国重要报纸全文数据库 前10条
1 本报记者 于翔;数据集成驱动企业实时创新[N];网络世界;2010年
2 本报记者 刘洪宇;农民村内就医可实时报销[N];中国计算机报;2009年
3 本报记者 边歆;从实时走向预测[N];网络世界;2008年
4 本报记者 霍娜;当业务要求IT超越实时[N];中国计算机报;2008年
5 郭文东 胡冬梅;河北财政数据库实时复制容灾项目分析[N];计算机世界;2009年
6 ;银江移动临床信息系统[N];中国计算机报;2008年
7 记者 李佳霖;苏州启动医疗便民服务“一卡通”工程[N];经济日报;2009年
8 通讯员 苏喜娥　记者 郭伟;三维显示嫦娥二号实时精彩绕月之旅[N];河北日报;2010年
9 本报深度报道组记者 王馨;探路“物联网产业”[N];南京日报;2009年
10 ;智能公交，让城市出行更美好[N];通信产业报;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）