【摘 要】
：
提高验证过程的并行性是提高程序验证效率的重要手段之一。为此，提出一种基于控制结构依赖分析的方法来组织程序的并行验证，在验证过程中，并行验证完的控制结构直接触发支持控制
【机 构】
：
长沙理工大学计算机与通信工程学院,武汉大学软件工程国家重点实验室
【基金项目】
：
基金项目：武汉大学软件工程国家重点实验室基金资助项目（SKLSE20080701）
论文部分内容阅读
提高验证过程的并行性是提高程序验证效率的重要手段之一。为此，提出一种基于控制结构依赖分析的方法来组织程序的并行验证，在验证过程中，并行验证完的控制结构直接触发支持控制结构，无须等待其他操作，从而可以提高程序验证的并行性。此外，还给出提取控制结构依赖图算法和验证过程调度算法，并用实验证明其正确性和高效性。
其他文献
协配句是反映人或事物间的协作配合关系即协配性行为、协配性状态或协配性关系的句子。本文从人际与事理的角度对现代汉语协配语义关系进行梳理、细分,初步构建出现代汉语协
大多数自然土壤中仅含有痕量的重金属,但随着人类工农业活动的日益频繁,某些地区土壤中的重金属含量逐渐升高,导致了严重的土壤重金属污染问题。美国匹兹堡大学的研究者发现,
<正>企业医院以保障职工身心健康,促进企业的生产与发展为目的,在计划经济时期曾较好地解决了企业职工及其家属看病就医问题,为企业稳步发展解除了后顾之忧。企业医院的特征
伦理与道德概念需要讨论。黑格尔两次区别了伦理与道德,但他对伦理和道德的使用自身存在矛盾。与社会经历了传统(总体性)社会一理性化社会一现代(多元化)社会这三个阶段相伴
成绩不好,我们又称之为"后进生"。他们接受能力差、平时作业拖沓、学习积极性不高等。面对这样的学生,老师感觉负担很重,因此转化"后进生"是问题的关键。
作文教学就教法而言,一种是“拙”一种是“巧”,“拙”是基础教学,“巧”是创新教学。基础教学从说抓起,注意学生观察能力的培养,注意学生课外阅读能力的培养,注意练笔习惯的
仲夏之初,长江之上,最后一吊,精准对接.曰前,武汉纯口长江公路大桥胜利合龙,“钻石型”的主塔熠熠生辉.这是“桥都”武汉四环线上第一条跨越长江的“巨龙”,也是中交二航局直
传统的支持向量机（SVM）多值分类算法在构造多个二值分类器时存在计算量较大和分类速度较低的问题。为此,将覆盖思想引入SVM分类算法中,提出一种基于覆盖的SVM多分类算法,通过构
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
在中原经济区建设中,河南中小企业凭借自身灵活的经营特点,在发展经济、解决就业问题、出口创汇、提供社会服务和缓解危机等方面起到了大企业所无法替代的作用.但是,企业的发