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 条

[11] An approximation semantics for the propositional mu-calculus
Villemaire, R
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002, 2002, 2420 : 637 - 649
[12] Efficient model checking via the equational mu-calculus
Bhat, G
Cleaveland, R
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 304 - 312
[13] Model-Checking the Higher-DimensionalModal mu-calculus
Lange, Martin
Lozes, Etienne
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (77): : 39 - 46
[14] Compositionality and locality for improving model checking in the selective mu-calculus
Santone, A
Vaglini, G
SCIENCE OF COMPUTER PROGRAMMING, 2005, 54 (2-3) : 291 - 311
[15] AN AUTOMATA THEORETIC DECISION PROCEDURE FOR THE PROPOSITIONAL MU-CALCULUS
STREETT, RS
EMERSON, EA
INFORMATION AND COMPUTATION, 1989, 81 (03) : 249 - 264
[16] Model checking the full modal mu-calculus for infinite sequential processes
Burkart, O
Steffen, B
THEORETICAL COMPUTER SCIENCE, 1999, 221 (1-2) : 251 - 270
[17] CCS, LIVENESS, AND LOCAL MODEL CHECKING IN THE LINEAR TIME MU-CALCULUS
STIRLING, C
WALKER, D
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 166 - 178
[18] COMPLEXITY OF MODEL CHECKING RECURSION SCHEMES FOR FRAGMENTS OF THE MODAL MU-CALCULUS
Kobayashi, Naoki
Ong, C-H Luke
LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (04) : 1 - 23
[19] Heuristic search plus local model checking in selective mu-calculus
Santone, A
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (06) : 510 - 523
[20] Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Kobayashi, Naoki
Ong, C. -H. Luke
AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 223 - +

← 1 2 3 4 5 →