TABLEAU-BASED MODEL CHECKING IN THE PROPOSITIONAL MU-CALCULUS

被引：3

|

作者：

CLEAVELAND, R

机构：

来源：

ACTA INFORMATICA | 1990年 / 27卷 / 08期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：725 / 747

页数：23

相关论文

共 50 条

[1] mu-Calculus Model Checking in Maude
Wang, Bow-Yaw
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 135 - 152
[2] RESULTS ON THE PROPOSITIONAL MU-CALCULUS
KOZEN, D
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 348 - 359
[3] RESULTS ON THE PROPOSITIONAL MU-CALCULUS
KOZEN, D
THEORETICAL COMPUTER SCIENCE, 1983, 27 (03) : 333 - 354
[4] THE PROPOSITIONAL MU-CALCULUS IS ELEMENTARY
STREETT, RS
EMERSON, EA
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 172 : 465 - 472
[5] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
STIRLING, C
WALKER, D
THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 161 - 177
[6] Methods for mu-calculus model checking: A tutorial
Emerson, EA
COMPUTER AIDED VERIFICATION, 1995, 939 : 141 - 141
[7] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
STIRLING, C
WALKER, D
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 369 - 383
[8] A DECISION PROCEDURE FOR THE PROPOSITIONAL MU-CALCULUS
KOZEN, D
PARIKH, R
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 313 - 325
[9] A tableau-based procedure for model checking programs
Santone, A
Vaglini, G
26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 723 - 728
[10] Mu-calculus path checking
Markey, N
Schnoebelen, P
INFORMATION PROCESSING LETTERS, 2006, 97 (06) : 225 - 230

← 1 2 3 4 5 →