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 条
  • [21] Parallel Model Checking on Pushdown Systems
    Wei, Hansheng
    Chen, Xinyu
    Ye, Xin
    Fu, Neng
    Huang, Yanhong
    Shi, Jianqi
    2018 IEEE INT CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, UBIQUITOUS COMPUTING & COMMUNICATIONS, BIG DATA & CLOUD COMPUTING, SOCIAL COMPUTING & NETWORKING, SUSTAINABLE COMPUTING & COMMUNICATIONS, 2018, : 88 - 95
  • [22] Parallel and distributed model checking in Eddy
    Melatti I.
    Palmer R.
    Sawaya G.
    Yang Y.
    Kirby R.M.
    Gopalakrishnan G.
    International Journal on Software Tools for Technology Transfer, 2009, 11 (1) : 13 - 25
  • [23] COMPLEXITY OF PARALLEL EVALUATION OF LINEAR RECURRENCES
    HYAFIL, L
    KUNG, HT
    JOURNAL OF THE ACM, 1977, 24 (03) : 513 - 521
  • [24] Parallel and distributed model checking in Eddy
    Melatti, I
    Palmer, R
    Sawaya, G
    Yang, Y
    Kirby, RM
    Gopalakrishnan, G
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 108 - 125
  • [25] On Parameter Synthesis by Parallel Model Checking
    Barnat, Jiri
    Brim, Lubos
    Krejci, Adam
    Streck, Adam
    Safranek, David
    Vejnar, Martin
    Vejpustek, Tomas
    IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2012, 9 (03) : 693 - 705
  • [26] The complexity of model checking for propositional default logics
    Liberatore, P
    Schaerf, M
    ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 18 - 22
  • [27] The complexity of model checking for propositional default logics
    Liberatore, P
    Schaerf, M
    DATA & KNOWLEDGE ENGINEERING, 2005, 55 (02) : 189 - 202
  • [28] Program complexity of dynamic LTL model checking
    Kähler, D
    Wilke, T
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 271 - 284
  • [29] Complexity of Model Checking for Modal Dependence Logic
    Ebbing, Johannes
    Lohmann, Peter
    SOFSEM 2012: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2012, 7147 : 226 - 237
  • [30] The complexity of model checking for belief revision and update
    Liberatore, P
    Schaerf, M
    PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 556 - 561
12345