LTL model checking; divine model checker; relaxed memory model;
机译:TSO弱存储模型的参数化模型检查
机译:用于传送并发程序的LTL模型检查
机译:使用有限跟踪对ANSI-C程序进行模型检查LTL属性
机译:使用近似TSO内存模型的并行程序的LTL模型检查
机译:Java内存模型感知模型检查
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:从分布式内存周期检测到并行LTL模型检查
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证