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 条
  • [41] Shared Hash Tables in Parallel Model Checking
    Barnat, Jiri
    Rockai, Petr
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 198 (01) : 79 - 91
  • [42] Parallel Model Checking for Temporal Epistemic Logic
    Kwiatkowska, Marta
    Lomuscio, Alessio
    Qu, Hongyang
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 543 - 548
  • [43] Parallel Bounded Model Checking of Security Protocols
    Kurkowski, Miroslaw
    Siedlecka-Lamch, Olga
    Szymoniak, Sabina
    Piech, Henryk
    PARALLEL PROCESSING AND APPLIED MATHEMATICS (PPAM 2013), PT I, 2014, 8384 : 224 - 234
  • [44] Using Parallel and Distributed Reachability in Model Checking
    Allal, Lamia
    Belalem, Ghalem
    Dhaussy, Philippe
    Teodorov, Ciprian
    AMBIENT COMMUNICATIONS AND COMPUTER SYSTEMS, RACCCS 2017, 2018, 696 : 143 - 154
  • [45] Pushdown processes: Parallel composition and model checking
    Burkart, O
    Steffen, B
    CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 98 - 113
  • [46] Model Checking EGF on Basic Parallel Processes
    Fu, Hongfei
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 120 - 134
  • [47] Parallel SAT solving in bounded model checking
    Abraham, Erika
    Schubert, Tobias
    Becker, Bernd
    Fraenzle, Martin
    Herde, Christian
    FORMAL METHODS: APPLICATIONS AND TECHNOLOGY, 2007, 4346 : 301 - 315
  • [48] Parallel SAT Solving in Bounded Model Checking
    Abraham, Erika
    Schubert, Tobias
    Becker, Bernd
    Fraenzle, Martin
    Herde, Christian
    JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (01) : 5 - 21
  • [49] The Complexity of Model Checking Multi-Stack Systems
    Bollig, Benedikt
    Kuske, Dietrich
    Mennicke, Roy
    THEORY OF COMPUTING SYSTEMS, 2017, 60 (04) : 695 - 736
  • [50] The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
    Mundhenk, Martin
    Weiss, Felix
    REACHABILITY PROBLEMS, 2010, 6227 : 146 - 160
12345