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 条
  • [41] An efficient technique for dynamic slicing of concurrent Java']Java programs
    Mohapatra, DP
    Mall, R
    Kumar, R
    APPLIED COMPUTING, PROCEEDINGS, 2004, 3285 : 255 - 262
  • [42] Debugging Maude programs via runtime assertion checking and trace slicing
    Alpuente, Maria
    Ballis, Demis
    Frechina, Francisco
    Sapina, Julia
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (05) : 707 - 736
  • [43] Concolic testing based on dynamic slicing of concurrent Java programs
    Pu, Fangli
    Lu, Yansheng
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2009, 37 (10): : 21 - 24
  • [44] Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions
    Kahlon, Vineet
    Gupta, Aarti
    Sinha, Nishant
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 286 - 299
  • [45] A model for slicing JAVA programs hierarchically
    Bi-Xin Li
    Xiao-Cong Fan
    Jun Pang
    Jian-Jun Zhao
    Journal of Computer Science and Technology, 2004, 19 : 848 - 858
  • [46] Proof slicing with application to model checking web services
    Huang, H
    Tsai, WT
    Paul, R
    ISORC 2005: EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2005, : 292 - 299
  • [47] Using Slicing to Improve the Performance of Model Invariant Checking
    Sun, Wuliang
    Combemale, Benoit
    France, Robert B.
    Blouin, Arnaud
    Baudry, Benoit
    Ray, Indrakshi
    JOURNAL OF OBJECT TECHNOLOGY, 2015, 14 (04): : 1 - 28
  • [48] Efficient Model Checking of Hardware Using Conditioned Slicing
    Vasudevan, Shobha
    Emerson, E. Allen
    Abraham, Jacob A.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 279 - 294
  • [49] Slicing hierarchical automata for model checking UML statecharts
    Wang, J
    Dong, W
    Qi, ZC
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 435 - 446
  • [50] Model checking concurrent systems with MSVL
    Nan ZHANG
    Zhenhua DUAN
    Cong TIAN
    ScienceChina(InformationSciences), 2016, 59 (11) : 224 - 226
12345