Parallel and complete model checking with linear complexity

被引：0
|
作者：
Wu, Xiaojuan [1 ]
Wu, Lijun [1 ]
Huang, Huijia [1 ]
Xue, Lei [1 ]
机构：
[1] School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China
来源：
Journal of Information and Computational Science | 2013年 / 10卷 / 05期
关键词：
16;
D O I：
10.12733/jics20101591
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1519 / 1529
相关论文
共 50 条
  • [1] Complexity of Model Checking over General Linear Time
    French, Tim
    McCabe-Dansted, John
    Reynolds, Mark
    2013 20th International Symposium on Temporal Representation and Reasoning (TIME), 2013, : 107 - 114
  • [2] Parallel external directed model checking with linear I/O
    Jabbar, S
    Edelkamp, S
    VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 237 - 251
  • [3] Descriptive complexity and model checking
    Immerman, N
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 1 - 5
  • [4] ON THE COMPLEXITY OF THE MODEL CHECKING PROBLEM
    Madelaine, Florent R.
    Martin, Barnaby D.
    SIAM JOURNAL ON COMPUTING, 2018, 47 (03) : 769 - 797
  • [5] Tutorial: Parallel model checking
    Brim, Lubos
    Barnat, Jiri
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2007, 4595 : 2 - +
  • [6] Complexity of Checking Bisimilarity between Sequential and Parallel Processes
    Czerwinski, Wojciech
    Jancar, Petr
    Kot, Martin
    Sawa, Zdenek
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013, 2013, 8087 : 302 - 313
  • [7] A vertex centric parallel algorithm for linear temporal logic model checking in Pregel
    Xie, Miao
    Yang, Qiusong
    Zhai, Jian
    Wang, Qing
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2014, 74 (11) : 3161 - 3174
  • [8] THE COMPLEXITY OF MODEL CHECKING FOR CIRCUMSCRIPTIVE FORMULAS
    CADOLI, M
    INFORMATION PROCESSING LETTERS, 1992, 44 (03) : 113 - 118
  • [9] THE COMPLEXITY OF MODEL CHECKING FOR BOOLEAN FORMULAS
    Schnoor, Henning
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (03) : 289 - 309
  • [10] On the Complexity of Model Checking Knowledge and Time
    Bozzelli, Laura
    Maubert, Bastien
    Murano, Aniello
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (01)
12345