A graphical μ-calculus and local model checking
文献类型:期刊论文
作者 | Lin Huimin |
刊名 | Allerton Press Inc.
![]() |
出版日期 | 2002 |
卷号 | 17期号:6页码:665-671 |
关键词 | model checking mu-calculus modal graphs local algorithms |
通讯作者 | Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Lab Comp Sci, POB 8718, Beijing 100080, Peoples R China |
收录类别 | EI,SCI |
公开日期 | 2010-08-24 |
附注 | A graphical notation for the propositional mu-calculus, called modal graphs, is presented. It is shown that both the textual and equational presentations of the it-calculus can be translated into modal graphs. A model checking algorithm based on such graphs is proposed. The algorithm is truly local in the sense that it only generates the parts of the underlying search space which are necessary for the computation of the final result. The correctness of the algorithm is proven and its complexity analysed. |
源URL | [http://124.16.136.157/handle/311060/4462] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | Lin Huimin. A graphical μ-calculus and local model checking[J]. Allerton Press Inc.,2002,17(6):665-671. |
APA | Lin Huimin.(2002).A graphical μ-calculus and local model checking.Allerton Press Inc.,17(6),665-671. |
MLA | Lin Huimin."A graphical μ-calculus and local model checking".Allerton Press Inc. 17.6(2002):665-671. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。