收藏本站
《2009年中国高校通信类院系学术研讨会论文集》2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于空间逻辑和计算树逻辑的模型检测

高静  曹子宁  
【摘要】:模型检测是一种很重要的自动验证技术。在已有的对移动进程演算的研究中,用于刻画移动环境演算系统性质大多使用的是空间逻辑,而时序逻辑作为形式化方法中一个十分重要的应用分支当然也可用于刻画移动环境演算系统的性质。本文采用空间逻辑与时序逻辑中的计算树逻辑等知识,研讨了移动环境演算的模型检测问题。
【作者单位】:南京航空航天大学计算机科学与技术学院
【分类号】:TP301

手机知网App
【共引文献】
中国博士学位论文全文数据库 前2条
1 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
2 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 朱维军;周清雷;;一种时间自动机时钟离散化算法[J];郑州大学学报(理学版);2011年03期
2 张琛;段振华;;应用UML2.0模型的测试用例生成方法[J];西安交通大学学报;2011年08期
3 吴勇;李祥;;基于行为时序逻辑TLA的时钟系统分析与检测[J];电力学报;2011年04期
4 钮俊;曾国荪;吕新荣;徐畅;;随机模型检测连续时间Markov过程[J];计算机科学;2011年09期
5 盛伟;李曦;高妍妍;周学海;;考虑缓存预热时间的多核调度系统验证[J];中国科学技术大学学报;2011年08期
6 骆翔宇;谭征;苏开乐;吴立军;;一种基于认知模型检测的Web服务组合验证方法[J];计算机学报;2011年06期
7 温炽亮;;小额交易中SET协议的优化及SPIN验证的研究[J];计算机与现代化;2011年07期
8 朱维军;周清雷;张海宾;;扩展Tempura语言统一模型检测算法[J];华南理工大学学报(自然科学版);2011年07期
9 杨元原;马文平;刘维博;白晓峰;;一种可检测类型缺陷攻击的SAT改进模型[J];沈阳工业大学学报;2011年04期
10 李娇;刘全;傅启明;王庭钢;;分布式数据库中基于局部CON模型的记录匹配方法[J];通信学报;2011年07期
中国重要会议论文全文数据库 前10条
1 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
2 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
3 刘芳;魏昭;董荣胜;;基于SPIN的协议分析技术研究[A];广西计算机学会2008年年会论文集[C];2008年
4 许梅;曹子宁;;基于谓词μ演算和空间逻辑的模型检测算法研究[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
5 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
6 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
7 周志远;张大方;缪力;赵丹;黄谷;;基于Java内存模型的并发程序模型检测[A];第五届中国测试学术会议论文集[C];2008年
8 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
9 陈晓江;杨琛;冯健;房鼎益;;并发系统模型检测中的状态约减算法[A];2007年全国开放式分布与并行计算机学术会议论文集(下册)[C];2007年
10 黄锐;冯敢生;;双能减影与常规DR检测肺结节模型的实验研究[A];中华医学会第十三届全国放射学大会论文汇编(下册)[C];2006年
中国重要报纸全文数据库 前3条
1 本报记者 边歆;异常检测是阻止蠕虫攻击的最好方法?[N];网络世界;2006年
2 李文;华银硬度计占领国内七成市场[N];中国机电日报;2002年
3 宗遐龄;起伏地表模型检测获突破[N];中国石化报;2011年
中国博士学位论文全文数据库 前10条
1 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
2 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
3 黄宏涛;基于懒惰切片的模型检测技术研究[D];哈尔滨工程大学;2012年
4 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
5 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院(软件研究所);2005年
6 朱维军;时间区间时序逻辑模型检测:理论、算法及应用[D];西安电子科技大学;2011年
7 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
8 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
9 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
10 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
中国硕士学位论文全文数据库 前10条
1 施小纯;基于反例搜索的启发式模型检测算法的研究[D];中国科学院研究生院(软件研究所);2004年
2 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
3 高丹丹;无线认证协议的模型检测与分析研究[D];长春理工大学;2010年
4 谢越;基于模型检测的动态协同服务间的一致性验证[D];华东师范大学;2010年
5 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
6 边晶;基于OBDD&Model Checking方法的规划[D];吉林大学;2005年
7 赵赟;基于时态逻辑的UML交互模型检测研究[D];青岛大学;2008年
8 肖颖奇;一个并发传值系统自动验证工具的图形界面实现[D];中国科学院研究生院(软件研究所);2003年
9 董卫;基于Petri网的密码协议分析[D];山东科技大学;2005年
10 吴建耀;电子商务安全协议的形式化分析技术研究[D];西安电子科技大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026