机译:最大因果减少的无状态模型检查并发程序
Algorithms; Design; Theory; Maximal Causality Reduction; Model Checking;
机译:最大因果减少的无状态模型检查并发程序
机译:基于交错的并发和因果关系模型检查
机译:用于传送并发程序的LTL模型检查
机译:松弛内存模型下并发错误的最大无状态模型检查
机译:使用程序变异进行故障检测技术的经验评估:并发测试和模型检查的比较
机译:比索洛尔最大耐受剂量降低心率对左心室逆向重构的影响
机译:C / C ++并发性的有效无状态模型检查