Context-bounded analysis for concurrent programs with dynamic creation of threads

被引：0
|
作者：
Uppsala University, Sweden [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Log. Methods Comp. Sci. | / 4卷 / 1-48期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Program debugging
引用
收藏
相关论文
共 50 条
  • [31] Design of a toolset for dynamic analysis of concurrent Java']Java programs
    Bechini, A
    Tai, KC
    [J]. 6TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION (IWPC 98) - PROCEEDINGS, 1998, : 190 - 197
  • [32] Conflict analysis of programs with procedures, dynamic thread creation, and monitors
    Lammich, Peter
    Mueller-Olm, Markus
    [J]. STATIC ANALYSIS, 2008, 5079 : 205 - +
  • [33] Algorithms for the analysis of concurrent programs
    Debnath, NC
    Lee, R
    [J]. INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 11TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1998, : 9 - 12
  • [34] Dynamic Cutoff Detection in Parameterized Concurrent Programs
    Kaiser, Alexander
    Kroening, Daniel
    Wahl, Thomas
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 645 - 659
  • [35] A dynamic logic for deductive verification of concurrent programs
    Beckert, Bernhard
    Klebanov, Vladimir
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 141 - +
  • [36] Uncertainty Problem in Dynamic Slicing of Concurrent Programs
    Cheng, Jingde
    [J]. 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 241 - 248
  • [37] BOUNDED CONTEXT SYNTACTIC ANALYSIS
    FLOYD, RW
    [J]. COMMUNICATIONS OF THE ACM, 1964, 7 (02) : 62 - 67
  • [38] Automated verification of concurrent go programs via bounded model checking
    Nicolas Dilley
    Julien Lange
    [J]. Automated Software Engineering, 2023, 30
  • [39] Automated verification of concurrent go programs via bounded model checking
    Dilley, Nicolas
    Lange, Julien
    [J]. AUTOMATED SOFTWARE ENGINEERING, 2023, 30 (02)
  • [40] Synthesis of large dynamic concurrent programs from dynamic specifications
    Paul C. Attie
    [J]. Formal Methods in System Design, 2016, 48 : 94 - 147
12345