Dynamic pushdown networks; Synchronization; Execution paths; Kleene abstractions;
机译:用于多线程Java程序的通用静态分析器
机译:平台独立的多线程程序概率分析
机译:防死锁控制下的多线程程序的仿真分析
机译:通过Rendez-Vous通信的多线程递归程序的静态分析
机译:对多线程和递归程序中的内存访问进行静态分析。
机译:通过交互式静态分析支持Web应用程序中的安全编程
机译:多线程程序确定性的静态分析