%0 Journal Article
%T 一种改进的大规模ctl公式检测算法
%A 奚琪？
%A 王清贤？
%A 曾勇军？
%A 秦艳锋？
%J 计算机科学
%D 2013
%X 标记算法是模型检测用于验证计算树逻辑ctl公式的经典算法。针对标记算法检测大规模公式存在的效率问题,提出一种可用于验证大规模ctl公式的标记算法。算法通过公式预处理标识公式集中的公共子公式,在验证过程中绑定公共子公式与模型状态,避免公式的重复验证。实验结果表明,该算法有效提高了验证效率。
%K 模型检测
%K 标记算法
%K 公共子公式
%K 语法分析树
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20131025&flag=1