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 条

[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 IN THE MODAL MU-CALCULUS
STIRLING, C
WALKER, D
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 369 - 383
[3] mu-Calculus Model Checking in Maude
Wang, Bow-Yaw
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 135 - 152
[4] Heuristic search plus local model checking in selective mu-calculus
Santone, A
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (06) : 510 - 523
[5] Methods for mu-calculus model checking: A tutorial
Emerson, EA
[J]. COMPUTER AIDED VERIFICATION, 1995, 939 : 141 - 141
[6] Mu-calculus path checking
Markey, N
Schnoebelen, P
[J]. INFORMATION PROCESSING LETTERS, 2006, 97 (06) : 225 - 230
[7] Efficient model checking via the equational mu-calculus
Bhat, G
Cleaveland, R
[J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 304 - 312
[8] A LINEAR-TIME MODEL-CHECKING ALGORITHM FOR THE ALTERNATION-FREE MODAL MU-CALCULUS
CLEAVELAND, R
STEFFEN, B
[J]. FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (02) : 121 - 147
[9] A LINEAR-TIME MODEL-CHECKING ALGORITHM FOR THE ALTERNATION-FREE MODAL MU-CALCULUS
CLEAVELAND, R
STEFFEN, B
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 48 - 58
[10] Linear-time model-checking algorithm for the alternation-free modal mu-calculus
[J]. Cleaveland, Rance, 1600, (02):

← 1 2 3 4 5 →