Texas AM Univ., College Station, TX, USA;
Concurrent computing; Programming; Instruction sets; Model checking; Computer languages; Memory management; Engines;
机译:最大因果减少的无状态模型检查并发程序
机译:最大因果减少的无状态模型检查并发程序
机译:CheckFence:检查宽松内存模型上并发数据类型的一致性
机译:在轻松的内存模型下,最大无误的模型检查并发错误
机译:Java内存模型感知模型检查
机译:通过并发无关信息评估工作记忆模型
机译:松散内存模型上并发数据类型的有界模型检查:一个案例研究