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 条
  • [31] Automated verification of concurrent go programs via bounded model checking
    Dilley, Nicolas
    Lange, Julien
    AUTOMATED SOFTWARE ENGINEERING, 2023, 30 (02)
  • [32] Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
    La Torre, Salvatore
    Madhusudan, P.
    Parlato, Gennaro
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 629 - +
  • [33] Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
    Dwyer, Matthew B.
    Hatcliff, John
    Hoosier, Matthew
    Robby, Venkatesh Ranganath
    Wallentine, Todd
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 73 - 89
  • [34] Static slicing of concurrent object-oriented programs
    Zhao, JJ
    Cheng, JD
    Ushijima, K
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 312 - 320
  • [35] CONCURRENT RUNTIME CHECKING OF ANNOTATED ADA PROGRAMS
    ROSENBLUM, DS
    SANKAR, S
    LUCKHAM, DC
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 241 : 10 - 35
  • [36] Slicing concurrent Java programs using Indus and Kaveri
    Venkatesh Prasad Ranganath
    John Hatcliff
    International Journal on Software Tools for Technology Transfer, 2007, 9 (5-6) : 489 - 504
  • [37] Refinement of structural heuristics for model checking of concurrent programs through data mining
    Milewicz, Reed
    Pirkelbauer, Peter
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2017, 47 : 170 - 188
  • [38] Model Checking Programs
    Willem Visser
    Klaus Havelund
    Guillaume Brat
    SeungJoon Park
    Flavio Lerda
    Automated Software Engineering, 2003, 10 (2) : 203 - 232
  • [39] Model checking programs
    Visser, W
    Havelund, K
    Brat, G
    Park, SJ
    FIFTEENTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 3 - 11
  • [40] A new data structure and algorithm for static slicing concurrent programs
    Department of Computer, Shaoyang University, Shaoyang 710049, China
    不详
    Inf. Technol. J., 2008, 2 (253-260):
12345