CCS, LIVENESS, AND LOCAL MODEL CHECKING IN THE LINEAR TIME MU-CALCULUS

被引：0
|
作者：
STIRLING, C
WALKER, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 407卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：166 / 178
页数：13
相关论文
共 50 条
  • [31] Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
    Fischer, Diana
    Kaiser, Lukasz
    AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT II, 2011, 6756 : 404 - 415
  • [32] MODEL CHECKING THE QUANTITATIVE μ-CALCULUS ON LINEAR HYBRID SYSTEMS
    Fischer, Diana
    Kaiser, Lukasz
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
  • [33] Symbolic model checking for μ-calculus requires exponential time
    Rabinovich, A
    THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 467 - 475
  • [34] Local parallel model checking for the alternation-free μ-calculus
    Bollig, B
    Leucker, M
    Weber, M
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 128 - 147
  • [35] Model-checking dense-time duration calculus
    Fränzle, M
    FORMAL ASPECTS OF COMPUTING, 2004, 16 (02) : 121 - 139
  • [36] FAIR SMG AND LINEAR TIME MODEL CHECKING
    BARRINGER, H
    FISHER, MD
    GOUGH, GD
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 133 - 150
  • [37] Model Checking Quantitative Linear Time Logic
    Faella, Marco
    Legay, Axel
    Stoelinga, Marielle
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 220 (03) : 61 - 77
  • [38] Model checking knowledge and linear time: PSPACE cases
    Engelhardt, Kai
    Gammie, Peter
    van der Meyden, Ron
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 195 - +
  • [39] Complexity of Model Checking over General Linear Time
    French, Tim
    McCabe-Dansted, John
    Reynolds, Mark
    2013 20th International Symposium on Temporal Representation and Reasoning (TIME), 2013, : 107 - 114
  • [40] Local model checking for real-time systems
    Sokolsky, OV
    Smolka, SA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 211 - 224
12345