Linear-time model-checking algorithm for the alternation-free modal mu-calculus

被引：0

作者：

机构：

[1] Cleaveland, Rance

[2] Steffen, Bernhard

来源：

Cleaveland, Rance | 1600年 / 02期

关键词：

Systems analysis;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] A LINEAR-TIME MODEL-CHECKING ALGORITHM FOR THE ALTERNATION-FREE MODAL MU-CALCULUS
CLEAVELAND, R
STEFFEN, B
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 48 - 58
[2] A LINEAR-TIME MODEL-CHECKING ALGORITHM FOR THE ALTERNATION-FREE MODAL MU-CALCULUS
CLEAVELAND, R
STEFFEN, B
FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (02) : 121 - 147
[3] Efficient on-the-fly model-checking for regular alternation-free mu-calculus
Mateescu, R
Sighireanu, M
SCIENCE OF COMPUTER PROGRAMMING, 2003, 46 (03) : 255 - 281
[4] Alternation-free modal mu-calculus for data trees (Extended abstract)
Jurdzinski, Marcin
Lazic, Ranko
22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 131 - +
[5] Alternation-Free Weighted Mu-Calculus: Decidability and Completeness
Larsen, Kim G.
Mardare, Radu
Xue, Bingtian
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 319 : 289 - 313
[6] Local model-checking of modal Mu-calculus on acyclic Labeled Transition Systems
Mateescu, R
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 281 - 295
[7] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
STIRLING, C
WALKER, D
THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 161 - 177
[8] Model-Checking the Higher-DimensionalModal mu-calculus
Lange, Martin
Lozes, Etienne
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (77): : 39 - 46
[9] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
STIRLING, C
WALKER, D
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 369 - 383
[10] Local parallel model checking for the alternation-free μ-calculus
Bollig, B
Leucker, M
Weber, M
MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 128 - 147

← 1 2 3 4 5 →