|
|||||
|
|
| 一种改进的大规模CTL公式检测算法 | |
| 作者姓名： | 奚琪 王清贤 曾勇军 秦艳锋 |
| 作者单位： | 国家数字交换系统工程技术研究中心 郑州450002 |
| 基金项目： | 本文受国家863计划(2012AA012902)资助 |
| 摘 要： | 标记算法是模型检测用于验证计算树逻辑CTL公式的经典算法.针对标记算法检测大规模公式存在的效率问题,提出一种可用于验证大规模CTL公式的标记算法.算法通过公式预处理标识公式集中的公共子公式,在验证过程中绑定公共子公式与模型状态,避免公式的重复验证.实验结果表明,该算法有效提高了验证效率. |
| 关 键 词： | 模型检测 标记算法 公共子公式 语法分析树 |
| 收稿时间： | 2012-12-18 |
| 修稿时间： | 2013-03-12 |
| 本文献已被 万方数据 等数据库收录！ | |