...
机译:多线程程序的回归验证(具有锁的扩展和动态线程的创建)
SEI CMU, Pittsburgh, PA USA;
SEI CMU, Pittsburgh, PA USA;
SEI CMU, Pittsburgh, PA USA|Technion Israel Inst Technol, Haifa, Israel;
Regression verification; Proving equivalence of programs; Multi-threaded programs;
机译:多线程程序的回归验证(具有锁的扩展和动态线程的创建)
机译:用于演绎验证多线程程序的动态逻辑
机译:用于演绎验证多线程程序的动态逻辑
机译:多线程程序的回归验证
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:脑计算机接口的神经元信号的低延迟多线程处理
机译:Threader:多线程程序的基于约束的验证器