μ-演算嵌套不动点表达式分块计算算法

• 作者: 李祥 江华 谭新星
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 模型检测 μ-演算 计算复杂度 NP∩co-NP问题
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 博士论文
• 页码范围: 4-7
• 页数: 4页
• 分类号: TP311
• 字数: 3917字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.02.002

摘要

利用叠代计算μ-演算公式时的单调特性,提出了一个分块计算嵌套μ-演算公式的全局算法,算法时间复杂度为O(nd/2),空间复杂度为O(nd/2).由于算法的空间复杂度低,使得不动点算子嵌套深度很大的μ-演算公式的求解成为可能,这在模型检测方面有着非常重要的意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李祥	贵州大学计算机理论与软件研究所	91	551	13.0	19.0
2	江华	贵州大学计算机理论与软件研究所	5	9	2.0	2.0
6	谭新星	广东韶关学院计算机系	3	5	2.0	2.0