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 条
  • [1] CONTEXT-BOUNDED ANALYSIS FOR CONCURRENT PROGRAMS WITH DYNAMIC CREATION OF THREADS
    Atig, Mohamed Faouzi
    Bouajjani, Ahmed
    Qadeer, Shaz
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (04)
  • [2] Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
    Atig, Mohamed Faouzi
    Bouajjani, Ahmed
    Qadeer, Shaz
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 107 - +
  • [3] The case for context-bounded verification of concurrent programs
    Qadeer, Shaz
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 3 - 6
  • [4] Context-bounded analysis of multithreaded programs with dynamic linked structures
    Bouajjani, Ahmed
    Fratani, Severine
    Qadeer, Shaz
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 207 - +
  • [5] Context-bounded analysis of concurrent queue systems
    La Torre, Salvatore
    Madhusudan, P.
    Parlato, Germaro
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 299 - +
  • [6] Context-bounded model checking of concurrent software
    Qadeer, S
    Rehof, J
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 93 - 107
  • [7] Context-Bounded Analysis for POWER
    Abdulla, Parosh Aziz
    Atig, Mohamed Faouzi
    Bouajjani, Ahmed
    Tuan Phong Ngo
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II, 2017, 10206 : 56 - 74
  • [8] Symbolic context-bounded analysis of multithreaded java']java programs
    Suwimonteerabuth, Dejvuth
    Esparza, Javier
    Schwoon, Stefan
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 270 - 287
  • [9] Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
    La Torre, Salvatore
    Madhusudan, P.
    Parlato, Gennaro
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 477 - +
  • [10] Context-Bounded Translations for Concurrent Software: An Empirical Evaluation
    Ghafari, Naghmeh
    Hu, Alan J.
    Rakamaric, Zvonimir
    [J]. MODEL CHECKING SOFTWARE, 2010, 6349 : 227 - +
12345