concurrency (computers); parallel programming; program debugging; program verification; PFinder; bug detection; concurrent programs; multiple races verification; parallel method; parallelizing race verification; Field-flow fractionation; Lead; Oceans; concurrency bug detection; concurrent program; data race; harmful bug; parallel method; race verification;
机译:在并发程序中检测种族的有效执行路径探索
机译:通过自动有效性验证方法在调试并行程序中使用不稳定行为模板
机译:顺序和并行C程序的有效验证
机译:Pfinder:通过并行化竞争验证有效地检测并发程序中的错误
机译:跟踪驱动的方法,用于测试和调试并发程序。
机译:程序中的错误:怀孕药物和吸烟会干扰胎儿生殖细胞的分子重编程增加自闭症和神经发育障碍的遗传风险吗?
机译:通过抽象解释检测高阶节目的并发错误