直觉线性μ-演算

• 作者: KAZMI Syed Asad Raza 张文辉
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 命题线性时序逻辑 直觉线性μ-演算
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 3122-3133
• 页数: 12页
• 分类号: TP301
• 字数: 2836字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.03122

摘要

线性mu-演算(μTL)是线性时序逻辑(LTL)的不动点扩展.LTL是一个便于规范和论证反应式系统的方法.μTL作为比LTL表达能力更强的逻辑,用LTL表示的性质度可由μTL表示.类似于LTL的直觉线性时序逻辑(ILTL),提出一种基于直觉解释的μTL,称为直觉μTL(IμTL).确立了IμTL和ILTL的关系,比较了它们之间的表达能力.讨论了使用IμTL与安全性质和活性描述的关系以及描述"假设-保证"规范的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张文辉		5	22	3.0	4.0