中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
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
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。