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

基于线性带权值的广义表的模型检验方法

刘恩军  
【摘要】:提出了一个线性带权值的广义表(Linear Weighted Generalized List,LWGL)模型,同时给出了LWGL加法和乘法、析取和合取运算规则,实现了基于LWGL的高层次模型检验方法。实验结果表明LWGL模型对高层次模型检验是有效的。

知网文化
【相似文献】
中国重要会议论文全文数据库 前10条
1 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 叶俊民;张振方;王敬华;李蓉;;基于模型检验技术的源程序分析研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
3 张侹;王璠;韩柯;;基于SPIN的变异分析方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 谭坚;屈婉霞;庞征斌;徐炜遐;;基于SMT求解器的谓词抽象[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
5 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
6 曾红卫;缪淮扣;;优化基于模型检验的测试生成[A];第六届中国测试学术会议论文集[C];2010年
7 董庆超;王智学;候蕾;陈剑;;基于UML类图的本体模型一致性检查方法[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
8 钱俊彦;;简述Statecharts的CASE工具SuperState[A];广西计算机学会2006年年会论文集[C];2006年
9 雷琦;宁洪;李姗姗;汪昌健;;基于CWM的元数据管理系统的研究[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
10 王涛;郭长国;邹鹏;王晓斌;;一种基于注释的监控编程语言设计与实现[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
中国博士学位论文全文数据库 前10条
1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
2 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
3 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
4 李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年
5 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
6 易晓东;面向C程序验证的切片执行方法[D];国防科学技术大学;2006年
7 邓小妮;基于模型检验与仿真的C~4ISR系统需求验证方法研究[D];国防科学技术大学;2008年
8 何涛;基于Web服务的网络软件需求元模型的建模与分析[D];上海大学;2009年
9 胡军;构件化嵌入式软件设计的分析与验证[D];南京大学;2005年
10 胡斌;可信的自治式服务协同系统验证[D];浙江大学;2009年
中国硕士学位论文全文数据库 前10条
1 崔晓旭;商业银行评级模型检验系统的设计与实现[D];山东大学;2012年
2 张曦;基于WCET分析技术的程序实时性模型检验方法研究[D];国防科学技术大学;2011年
3 韩葆;基于模型检验的软件可信性分析模型[D];北京工业大学;2012年
4 张振方;基于模型检验的软件分析方法研究[D];华中师范大学;2009年
5 王璐珍;UML顺序图的自动分析技术研究[D];中国人民解放军国防科学技术大学;2002年
6 吴宏;基于LSC的模型检验研究与实现[D];国防科学技术大学;2004年
7 陈庆锋;软件漏洞模型检验技术的研究[D];华中科技大学;2007年
8 韩荣飞;一种基于基数的领域特征模型检验方法[D];中国海洋大学;2009年
9 杨志;基于吴方法的高层次模型检验方法研究[D];哈尔滨工程大学;2008年
10 刘栋;时间自动机可达性研究[D];郑州大学;2004年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978