机译:SEChecker:基于第$ {K} $个不变式的顺序对等检查框架
机译:应用程序指定的使用顺序等效性检查技术的软错误故障率分析
机译:应用指定使用顺序等效检查技术的软错误故障率分析
机译:在无关和冗余顺序元素存在的情况下进行匹配以进行顺序等效性检查
机译:推进顺序蒙特卡洛法用于模型检查,先验平滑以及在工程和科学中的应用。
机译:使用配对样本分析对等效研究组顺序设计的测试参数和实现的比较
机译:细粒度抽象和顺序不关心大规模模型检查
机译:用于一致性检查的信号验证算法和冗余测量的顺序概率比测试:主题报告