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

模型检验综述

王蓁蓁  
【摘要】:在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型检验各个方法的精神实质和具体情况,有助于将这些方法运用到实际软硬件验证中并从中受到启发,以便进一步发展模型检验理论或开发模型检验新的方法和工具。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 左志宏,龚天富;Mini CSP语言的时态语义[J];计算机应用;1995年01期
2 张骏林;李江宏;;用于协议描述及验证的时态逻辑[J];计算机应用与软件;1992年02期
3 唐达,徐超,杨晓丽;工作流建模中时态逻辑的研究与应用[J];计算机集成制造系统-CIMS;2004年04期
4 张毅,张师超;间断区间时态逻辑的语义[J];高技术通讯;1996年06期
5 韩俊刚,王岩冰,沈武威;用XYZ/E语言描述和验证硬件的行为[J];软件学报;1996年11期
6 贲可荣,陈火旺;命题时态逻辑定理证明新方法[J];软件学报;1994年07期
7 王蓓,吴智铭;实时离散事件系统规范与证明方法[J];上海交通大学学报;1998年01期
8 张广泉,戎玫;并发系统性质描述的一种形式化方法[J];重庆师范学院学报(自然科学版);1998年01期
9 苏开乐,骆翔宇,吕关锋;符号化模型检测CTL[J];计算机学报;2005年11期
10 王富彬;;描述逻辑SHIOQ的时态扩展[J];现代计算机(专业版);2010年11期
11 张广泉;反应式系统的并发模型(Ⅳ)——时态逻辑模型[J];重庆师范学院学报(自然科学版);1998年04期
12 肖美华,薛锦云;时态逻辑形式化描述并发系统性质[J];海军工程大学学报;2004年05期
13 宋悦,郝克刚,葛玮;基于时态逻辑的抽象对象规约方法[J];西北大学学报(自然科学版);1999年06期
14 钱俊彦,赵岭忠,古天龙;一种基于时间自动机的时钟等价性优化方法[J];计算机工程;2005年18期
15 陈卓;杨炳儒;周法国;李琳娜;;基于时态逻辑的多时间序列挖掘模型[J];辽宁工程技术大学学报(自然科学版);2009年04期
16 周从华;陶志红;陈钟;王立福;;基于时态逻辑的工作流分析[J];计算机科学;2007年11期
17 陈良,陈莘萌;通信的顺序进程的证明规则[J];计算机学报;1988年02期
18 贲可荣,陈火旺,王兵山;命题时态逻辑矢列式演算系统[J];中国科学A辑;1994年10期
19 杨惠珍,康凤举,马裕民,蔡斌;基于时态逻辑的形式化联邦校核方法[J];西北工业大学学报;2005年04期
20 黎升洪;缪淮扣;;时态逻辑描述能力比较研究[J];计算机工程与应用;2006年22期
中国重要会议论文全文数据库 前10条
1 张建军;罗景仁;;一个新的时态逻辑系统和DB形式化描述方法[A];第九届全国数据库学术会议论文集(上)[C];1990年
2 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
3 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
4 李晓鸥;郭令忠;徐心和;;Petri网监控的时态逻辑框架[A];1994中国控制与决策学术年会论文集[C];1994年
5 费定舟;;基于分枝时间框架的通信系统的BDI模型[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 曾红卫;缪淮扣;;优化基于模型检验的测试生成[A];第六届中国测试学术会议论文集[C];2010年
7 张春海;;一种适应于历史数据库模型的查询语言[A];第十届全国数据库学术会议论文集[C];1992年
8 陈芳利;张春海;李杰;;一种面向对象的时态数据库模型[A];第十六届全国数据库学术会议论文集[C];1999年
9 杨秋妹;余阳;李长森;;基于Spin的工作流模型验证[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
10 张建军;周继鹏;葛玮;;基于逻辑模型的DB模式向关系模式的形式化转换方法[A];第十一届全国数据库学术会议论文集[C];1993年
中国博士学位论文全文数据库 前8条
1 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
2 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年
3 袁志斌;基于模拟理论的模型检测研究[D];华中科技大学;2007年
4 赵岭忠;基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究[D];西安电子科技大学;2007年
5 吕嘉;基于开放时态逻辑的面向方面程序形式化验证和模块推理研究[D];浙江大学;2009年
6 姬孟洛;实时系统最差情况执行时间分析的研究[D];国防科学技术大学;2006年
7 孙晓星;面向方面的软件容错模型设计与分析技术[D];华东理工大学;2012年
8 曾颖;基于抽象解释的软件保护相关问题研究[D];解放军信息工程大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘冬宁;时态逻辑及其对知识库的构架与研究[D];广东工业大学;2004年
2 徐超;基于Petri网的工作流技术研究与应用[D];大连理工大学;2004年
3 王澄澄;基于时序ECA的分布式工作流管理系统研究与应用[D];山东大学;2005年
4 赵赟;基于时态逻辑的UML交互模型检测研究[D];青岛大学;2008年
5 孔庆爱;基于符号模型检测若干问题的研究及应用[D];吉林大学;2008年
6 张衍志;符号化模型检测算法的研究[D];吉林大学;2009年
7 李学军;基于时态逻辑的迁移实例运行时安全研究[D];山东大学;2009年
8 李津;Java程序模型验证中的程序建模问题研究[D];湖南师范大学;2008年
9 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
10 韦巍;面向对象的时态知识表达模型研究与应用[D];广东工业大学;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978