形式验证中ROBDD变量排序算法的研究

• 作者: 杨孟飞 王青
• 来源期刊: 空间控制技术与应用
• 学科: 航空航天
• 关键词: ROBDD 变量排序 遗传算法
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 论文与报告
• 页码范围: 29-32
• 页数: 4页
• 分类号: V446
• 字数: 3014字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-1579.2008.02.006

摘要

不良的ROBDD变量排序会引发状态空间爆炸的危机,从而影响形式验证方法的推广和使用.通过对CUDD数据包中ROBDD遗传变量排序算法的研究.利用变异操作和保留最优个体的时代繁殖操作对原算法进行了改进.实验数据表明,改进后的算法在可以容忍的运行时间内减少了ROBDD的节点数目,在一定程度上缓解了形式验证中状态空间爆炸的危机.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨孟飞		45	222	10.0	12.0
2	王青		8	22	2.0	4.0