| 一种改进的大规模CTL公式检测算法 |
| |
| 引用本文： | 奚琪,王清贤,曾勇军,秦艳锋. 一种改进的大规模CTL公式检测算法[J]. 计算机科学, 2013, 40(10): 122-126 |
| |
| 作者姓名： | 奚琪 王清贤 曾勇军 秦艳锋 |
| |
| 作者单位： | 国家数字交换系统工程技术研究中心 郑州450002 |
| |
| 基金项目： | 本文受国家863计划(2012AA012902)资助 |
| |
| 摘 要： | 标记算法是模型检测用于验证计算树逻辑CTL公式的经典算法.针对标记算法检测大规模公式存在的效率问题,提出一种可用于验证大规模CTL公式的标记算法.算法通过公式预处理标识公式集中的公共子公式,在验证过程中绑定公共子公式与模型状态,避免公式的重复验证.实验结果表明,该算法有效提高了验证效率.
|
| 关 键 词： | 模型检测 标记算法 公共子公式 语法分析树 |
| 收稿时间： | 2012-12-18 |
| 修稿时间： | 2013-03-12 |
Improved Algorithm for Large-scale CTL Formulae Verification |
| |
| XI Qi,WANG Qing-xian,ZENG Yong-jun and QIN Yan-feng. Improved Algorithm for Large-scale CTL Formulae Verification[J]. Computer Science, 2013, 40(10): 122-126 |
| |
| Authors: | XI Qi WANG Qing-xian ZENG Yong-jun QIN Yan-feng |
| |
| Affiliation: | China National Digital Switching System Engineering and Technological Research Center,Zhengzhou 450002,China;China National Digital Switching System Engineering and Technological Research Center,Zhengzhou 450002,China;China National Digital Switching System Engineering and Technological Research Center,Zhengzhou 450002,China;China National Digital Switching System Engineering and Technological Research Center,Zhengzhou 450002,China |
| |
| Abstract: | |
| |
| Keywords: | Model checking Labelling algorithm Common subformulas Parse tree |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
