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 条
  • [31] On the complexity of partial order trace model checking
    Massart, Thierry
    Meuter, Cedric
    Van Begin, Laurent
    INFORMATION PROCESSING LETTERS, 2008, 106 (03) : 120 - 126
  • [32] Communicative commitments: Model checking and complexity analysis
    Bentahar, Jamal
    El-Menshawy, Mohamed
    Qu, Hongyang
    Dssouli, Rachida
    KNOWLEDGE-BASED SYSTEMS, 2012, 35 : 21 - 34
  • [33] Belief revision and update: Complexity of model checking
    Liberatore, P
    Schaerf, M
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2001, 62 (01) : 43 - 72
  • [34] On complexity of model-checking for the TQL logic
    Boneva, I
    Talbot, JM
    EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS, 2004, 155 : 381 - 394
  • [35] The Complexity of Model Checking Succinct Multiagent Systems
    Huang, Xiaowei
    Chen, Qingliang
    Su, Kaile
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1076 - 1082
  • [36] Model checking for nonmonotonic logics: algorithms and complexity
    Rosati, R
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 76 - 81
  • [37] Model Checking Parallel Interval Logic on Parallel Run Structures
    Cao, Zining
    2012 THIRD INTERNATIONAL CONFERENCE ON THEORETICAL AND MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (ICTMF 2012), 2013, 38 : 390 - 394
  • [38] Model checking linear logic specifications
    Bozzano, M
    DelZanno, G
    Martelli, M
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 573 - 619
  • [39] Model Checking Linear Programs with Arrays
    Armando, Alessandro
    Benerecetti, Massimo
    Mantovani, Jacopo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (03) : 79 - 94
  • [40] Checking the adequacy of a partial linear model
    Zhu, LX
    Ng, KW
    STATISTICA SINICA, 2003, 13 (03) : 763 - 781
12345