Department of Computer Science, University of Illinois at Urbana-Champaign;
机译:指定和检查多线程程序的语义原子性
机译:指定和检查多线程程序的语义原子性
机译:Velodrome:一个完善的多线程程序动态原子检查器
机译:模型检查具有异步原子方法的多线程程序
机译:有效检测多线程程序中的原子集可串行性违规。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:使用异步原子方法检查多线程程序的模型