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 条
  • [1] Slicing execution for model checking C programs
    Yi, Xiaodong
    Wang, Ji
    Yang, Xuejun
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2006, 16 (05) : 747 - 768
  • [2] Bounded model checking of concurrent programs
    Rabinovitz, I
    Grumberg, O
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 82 - 97
  • [3] Precise slicing of concurrent programs An Evaluation of static slicing algorithms for concurrent programs
    Giffhorn, Dennis
    Hammer, Christian
    AUTOMATED SOFTWARE ENGINEERING, 2009, 16 (02) : 197 - 234
  • [4] LTL model checking for communicating concurrent programs
    Adrien Pommellet
    Tayssir Touili
    Innovations in Systems and Software Engineering, 2020, 16 : 161 - 179
  • [5] LTL model checking for communicating concurrent programs
    Pommellet, Adrien
    Touili, Tayssir
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2020, 16 (02) : 161 - 179
  • [6] Model Checking Concurrent Programs with Nondeterminism and Randomization
    Chadha, Rohit
    Sistla, A. Prasad
    Viswanathan, Mahesh
    IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2010), 2010, 8 : 364 - 375
  • [7] Dynamic slicing of concurrent programs
    Goswami, D
    Mall, R
    HIGH PERFORMANCE COMPUTING - HIPC 2000, PROCEEDINGS, 2001, 1970 : 15 - 26
  • [8] Slicing Concurrent Constraint Programs
    Falaschi, Moreno
    Gabbrielli, Maurizio
    Olarte, Carlos
    Palamidessi, Catuscia
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 76 - 93
  • [9] LTL Model-Checking for Communicating Concurrent Programs
    Pommellet, Adrien
    Touili, Tayssir
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, 2018, 11181 : 150 - 165
  • [10] Dynamic model checking for concurrent programs in control system
    Liang, Hao
    Ai, Yunfeng
    Shen, Huairong
    Zhao, Yongchao
    Computer Modelling and New Technologies, 2014, 18 (12): : 275 - 281
12345