论文部分内容阅读
软件模型检测对保证软件的正确性和可靠性具有十分重要的意义,而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术,介绍了该领域的进展及研究方向。
软件模型检测中的抽象
【摘 要】
：
软件模型检测对保证软件的正确性和可靠性具有十分重要的意义,而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术,介绍
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
计算机科学
【发表日期】
：
2006年07期
【基金项目】
：
国家自然科学基金(70271069)支持
其他文献
犯罪人格现象是否存在,是一个在刑事法学中引起争论的问题。犯罪学上犯罪的概念应与刑法学保持一致,人格缺陷是犯罪生成原因中的一个变量因素。犯罪人格最终是作为法律观念形
稀土储氢合金是研究最早的储氢合金,也是目前仅有大规模产业化的储氢合金。本文综述了近年来稀土储氢合金的研究进展。介绍了稀土储氢合金的主要制备方法,例如感应熔炼、电弧
５５例恶性淋巴瘤患者，中医按辨证分型（脾虚痰湿、气血两虚、肝脾失调等）治疗，西医按瘤体分类（期）采用不同的放、化疗方案。结果：综合组治疗总有效率８５．４％，对照组总有效率６２％，二者有显著性差异（Ｐ＜０．０５）。
在工业配合煤中添加1%钢渣制备高反应性焦炭,采用低温氮气吸附法分析高反应性焦炭(HRC)和普通焦炭(BC)在1100℃下溶损不同比率碳素(5%~50%)后焦炭的气孔结构,并结合分形理论
优化回流比可以降低分馏塔的能量消耗,以往的方法一般针对新塔设计阶段,面对某一种特定的塔板进行回流比优化,对一个在用分馏塔的改造,面临改造方案不确定的因素,导致投资费
目的:对口服乳癖消与针刺结合雷火灸治疗乳腺增生病(肝郁气滞型)的临床疗效进行观察,并且对比分析两种治疗方法的临床疗效,从而为临床治疗乳腺增生(肝郁气滞型)提供较佳治疗
江泽民同志提出“以法治国”同时也要“以德治国”的思想是对马克思主义关于国家政权建设理论的丰富和发展 ,对我国新形势下的经济发展和社会进步具有伟大的现实意义和深远的
《孔雀东南飞》是乐府双壁之一。诗中焦仲卿和刘兰芝的凄美爱情和婚姻悲剧让后人感慨。他们爱情悲剧形成的原因是多方面的,有内部原因、外部原因、直接原因、客观原因等。
<正>中国和美国在警卫人员的招募与教育训练方面有各自的特点和标准,本文通过对中美两国警卫人员招募与教育训练的比较,旨在发现双方的异同点,认识中美警卫在人员招募与教育
刑法修正案(八)将社区矫正正式写入其中,这是我国在刑罚轻缓化发展方向上迈出的重要一步。但是,修正后的刑法在社区矫正执行的范围、内容及主体等具体方面,仍存在亟须完善之