Linear-time model-checking algorithm for the alternation-free modal mu-calculus

被引：0
|
作者：
机构：
[1] Cleaveland, Rance
[2] Steffen, Bernhard
来源：
Cleaveland, Rance | 1600年 / 02期
关键词：
Systems analysis;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Model-Checking Linear-Time Properties of Quantum Systems
    Ying, Mingsheng
    Li, Yangjia
    Yu, Nengkun
    Feng, Yuan
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (03)
  • [22] Methods for mu-calculus model checking: A tutorial
    Emerson, EA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 141 - 141
  • [23] Robust model-checking of linear-time properties in timed automata
    Bouyer, P
    Markey, N
    Reynier, PA
    LATIN 2006: THEORETICAL INFORMATICS, 2006, 3887 : 238 - 249
  • [24] MODEL-CHECKING OF LINEAR-TIME PROPERTIES IN POSSIBILISTIC KRIPKE STRUCTURE
    Li, Lijun
    Li, Yongming
    QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 287 - 294
  • [25] Decomposition Theorems and Model-Checking for the Modal μ-Calculus
    Bojanczyk, Mikolaj
    Dittmann, Christoph
    Kreutzer, Stephan
    PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
  • [26] A decision procedure for the alternation-free two-way modal μ-calculus
    Tanabe, Y
    Takahashi, K
    Yamamoto, M
    Tozawa, A
    Hagiya, M
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 277 - 291
  • [27] Cut-free Completeness for Modal Mu-Calculus
    Afshari, Bahareh
    Leigh, Graham E.
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [28] Efficient model checking via the equational mu-calculus
    Bhat, G
    Cleaveland, R
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 304 - 312
  • [29] TABLEAU-BASED MODEL CHECKING IN THE PROPOSITIONAL MU-CALCULUS
    CLEAVELAND, R
    ACTA INFORMATICA, 1990, 27 (08) : 725 - 747
  • [30] Compositionality and locality for improving model checking in the selective mu-calculus
    Santone, A
    Vaglini, G
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 54 (2-3) : 291 - 311
12345