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 条
  • [31] A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes
    Kobayashi, Naoki
    Ong, C. -H Luke
    24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 179 - +
  • [32] Satisfiability of Linear Time Mu-Calculus on Finite Traces
    Liu, Yao
    Duan, Zhenhua
    Tian, Cong
    Cui, Bin
    COMPUTING AND COMBINATORICS, COCOON 2016, 2016, 9797 : 611 - 622
  • [33] Heuristic search plus local model checking in selective mu-calculus
    Santone, A
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (06) : 510 - 523
  • [34] Improved Algorithm of Global Model-Checking for Propositional μ-Calculus
    Jiang, Hua
    Xi, Jian-Qing
    INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4, 2013, 263-266 : 2314 - 2319
  • [35] Model-checking dense-time duration calculus
    Fränzle, M
    FORMAL ASPECTS OF COMPUTING, 2004, 16 (02) : 121 - 139
  • [36] Fast Mu-calculus model checking when tree-width is bounded
    Obdrzálek, J
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 80 - 92
  • [37] Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems
    Fortin, Marie
    Muscholl, Anca
    Walukiewicz, Igor
    COMPUTER AIDED VERIFICATION (CAV 2017), PT II, 2017, 10427 : 155 - 175
  • [38] The μ-Calculus Model-Checking Algorithm for Generalized Possibilistic Decision Process
    Jiang, Jiulei
    Zhang, Panqing
    Ma, Zhanyou
    APPLIED SCIENCES-BASEL, 2020, 10 (07):
  • [39] Linear-time model checking: Automata theory in practice
    Vardi, Moshe Y.
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2007, 4783 : 5 - 10
  • [40] A Modal Logic for pi-Calculus and Model Checking Algorithm
    Chen, Taolue
    Han, Tingting
    Lu, Jian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 19 - 33
12345