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

• 作者: 吴为民 朱明 边计年
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 模拟 形式验证 性质 模型检测 数据控制流图
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 基金项目论文
• 页码范围: 48-50
• 页数: 3页
• 分类号: TP391.9
• 字数: 3778字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.10.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	边计年	清华大学计算机系设计自动化实验室	50	326	9.0	16.0
2	吴为民	清华大学计算机系设计自动化实验室	22	101	5.0	9.0
3	朱明	清华大学计算机系设计自动化实验室	12	119	7.0	10.0