【摘 要】
：
模型检测技术是一种自动化的检测技术,该技术广泛应用于时序电路设计和通信协议设计,并取得了很大的成绩。真正将模型检测技术引入到软件的验证只有短短的几年历史,该技术目
论文部分内容阅读
模型检测技术是一种自动化的检测技术,该技术广泛应用于时序电路设计和通信协议设计,并取得了很大的成绩。真正将模型检测技术引入到软件的验证只有短短的几年历史,该技术目前正处于研究阶段。本文在实验室研究成果的基础上,首先探讨了模型检测的主要思想、发展变革及最新的研究热点,重点阐述了软件模型检测的特点。最后给出对于软件源代码进行建模的过程和算法,详细阐述了几个属性检测的手段,这其中包括源代码的预处理,源代码转换为公式模型的具体方法,并设计实现一个原型系统。本文最后还给出了几个具体程序例子的验证过程。结果表明,该系统能够应用模型检测技术自动的进行一些软件的验证,为将来更广泛和深入地研究打下了坚实的基础。
其他文献
文章从通过对一家制造型企业在其供应链采用循环包装系统可行性分析的实际案例出发,介绍了可折叠与不可折叠周转包装箱的选用,以及从零件淡旺季需求出发,如何准确而详细的计
通过二次开模注塑成型的方法,在180～230℃的范围内制备PP/微球发泡材料,采用SEM、Image-pro图像处理软件对泡孔进行观察、统计和计算,并测试了发泡材料的力学性能,研究了注射
为改善蒙脱土(MMT)的层间结构和表面形貌,采用了几种结构不同的季鏻盐在以超临界二氧化碳(scCO2)为媒介的环境中对钠基MMT进行有机插层改性,考察了改性剂加入量、改性剂种类
将脲作为变性剂添加到大豆蛋白中,制备了脲变性大豆蛋白塑料,并研究了该变性大豆蛋白塑料的力学性能、动态力学性能、吸水性能、热稳定性以及微观结构和形貌。结果表明:当脲
<正>英国一项新研究说,一种细菌能以较高效率把废弃食用油变成生物塑料,如果能将之用于大规模工业化生产,既可降低生物塑料成本,还能帮助解决"地沟油"问题。生物塑料是淀粉等
基于加强我国社会主义市场经济中的诚信建设,笔者从伦理学角度,对人性、东西方传统文化、现代市场发展需要等问题进行了比较分析,论述了我国之所以出现了诚信建设大大落后于
介绍了中空塑料吹塑成型机的主要组成,综述了中空成型机各重要组成部件的研究进展,并预测了中空成型机的发展方向。
<正>随着教育制度改革的不断深化,中考高考的考查越来越注重学生知识运用能力的考查.就初中数学学科而言,在智力与能力同等条件下,我们更需要提高学生的数学思维方法和解题质
本文综合运用分析、归纳、演绎等方法,以建筑类型学、室内设计形式语言、建筑符号学、设计美学、环境心理学、色彩学、人体工程学等为理论基础,以社会调查为实践依据,通过大
随着我国经济体制改革的不断推进,我国的社会保障制度逐步完善,企业社会保险制度改革也取得了一定成效。现代企业制度的建立和现代化管理的发展,给我国企业社保管理工作提出