LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS

被引：0

|

作者：

STIRLING, C

WALKER, D

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 351卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：369 / 383

页数：15

相关论文

共 50 条

[1] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
STIRLING, C
WALKER, D
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 161 - 177
[2] Local model-checking of modal Mu-calculus on acyclic Labeled Transition Systems
Mateescu, R
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 281 - 295
[3] Model checking the full modal mu-calculus for infinite sequential processes
Burkart, O
Steffen, B
[J]. THEORETICAL COMPUTER SCIENCE, 1999, 221 (1-2) : 251 - 270
[4] COMPLEXITY OF MODEL CHECKING RECURSION SCHEMES FOR FRAGMENTS OF THE MODAL MU-CALCULUS
Kobayashi, Naoki
Ong, C-H Luke
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (04) : 1 - 23
[5] mu-Calculus Model Checking in Maude
Wang, Bow-Yaw
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 135 - 152
[6] Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Kobayashi, Naoki
Ong, C. -H. Luke
[J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 223 - +
[7] Model checking the full modal mu-calculus for infinite sequential processes
Burkart, O
Steffen, B
[J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 419 - 429
[8] CCS, LIVENESS, AND LOCAL MODEL CHECKING IN THE LINEAR TIME MU-CALCULUS
STIRLING, C
WALKER, D
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 166 - 178
[9] Heuristic search plus local model checking in selective mu-calculus
Santone, A
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (06) : 510 - 523
[10] Methods for mu-calculus model checking: A tutorial
Emerson, EA
[J]. COMPUTER AIDED VERIFICATION, 1995, 939 : 141 - 141

← 1 2 3 4 5 →