一种改进的大规模CTL公式检测算法

摘要：

标记算法是模型检测用于验证计算树逻辑CTL公式的经典算法.针对标记算法检测大规模公式存在的效率问题,提出一种可用于验证大规模CTL公式的标记算法.算法通过公式预处理标识公式集中的公共子公式,在验证过程中绑定公共子公式与模型状态,避免公式的重复验证.实验结果表明,该算法有效提高了验证效率.

关键词：模型检测、标记算法、公共子公式、语法分析树

所属期刊栏目：40

分类号：TP309(计算技术、计算机技术)

资助基金：国家863计划2012AA012902

在线出版日期：2013-11-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：122-126