基于CDFG和OVL的系统验证性质分类

来源 :计算机工程 | 被引量 : 0次 | 上传用户：sunshu

【摘要】

：

在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力.通过对OVL语言和CTL描述进行改进,针对

【作者】

：

【机构】

：

清华大学计算机系设计自动化实验室

【出处】

：

计算机工程

【发表日期】

：

2005年10期

【关键词】

：

【基金项目】

：

国家自然科学基金，国家高技术研究发展计划(863计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力.通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实验结果表明这种分治验证策略有助于提高系统验证的效率和规模.

其他文献

以松嫩平原湿地的保护为背景,提出了基于GIS的湿地信息系统的建立方法。用GIS-GPS相结合的方法进行空间数据控制点的设置,克服了传统控制点设置方法的局限性;同时,应用VB+ArcObjects技术进行系统实现,并对叠加分析、空间检索等关键技术的实现方法进行了探讨。

期刊

基于向量空间模型的文本分类过程中遇到的最大问题就是以词为特征项的向量维数太大，需要进行特征选取，而交叉覆盖算法的输入集是n维欧式空间的点集，可以忽略维数的大小，从而最大

期刊