Slicing concurrent programs for model checking

被引：0
|
作者：
Dong, Wei [1 ]
Wang, Ji [1 ]
Qi, Zhi-Chang [1 ]
机构：
[1] Sch. of Comp. Sci., Natl. Univ. of Defense Technol., Changsha 410073, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2003年 / 26卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
12
引用
收藏
页码：266 / 274
相关论文
共 50 条
  • [21] Model checking of concurrent programs with static analysis of field accesses
    Parizek, Pavel
    Lhotak, Ondrej
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 98 : 735 - 763
  • [22] Modular Verification of Concurrent Programs via Sequential Model Checking
    Rasin, Dan
    Grumberg, Orna
    Shoham, Sharon
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018), 2018, 11138 : 228 - 247
  • [23] Temporal logics for concurrent recursive programs: Satisfiability and model checking
    Bollig, Benedikt
    Cyriac, Aiswarya
    Gastin, Paul
    Zeitoun, Marc
    JOURNAL OF APPLIED LOGIC, 2014, 12 (04) : 395 - 416
  • [24] Stateless Model Checking Concurrent Programs with Maximal Causality Reduction
    Huang, Jeff
    ACM SIGPLAN NOTICES, 2015, 50 (06) : 165 - 174
  • [25] The complexity of model checking concurrent programs against CTLK specifications
    Lomuscio, Alessio
    Raimondi, Franco
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES IV, 2006, 4237 : 29 - +
  • [26] Uncertainty Problem in Dynamic Slicing of Concurrent Programs
    Cheng, Jingde
    2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 241 - 248
  • [27] A parallel algorithm for static slicing of concurrent programs
    Goswami, D
    Mall, R
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2004, 16 (08): : 751 - 769
  • [28] Improved algorithm for static slicing of concurrent programs
    Xiao, Jian-Yu
    Zhang, De-Yun
    Chen, Hai-Quan
    Dong, Hao
    Jisuanji Gongcheng/Computer Engineering, 2006, 32 (14): : 14 - 16
  • [29] PBMC: Symbolic Slicing for the Verification of Concurrent Programs
    Saissi, Habib
    Bokor, Peter
    Suri, Neeraj
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 344 - 360
  • [30] Automated verification of concurrent go programs via bounded model checking
    Nicolas Dilley
    Julien Lange
    Automated Software Engineering, 2023, 30
12345