School of Computing University of Utah Salt Lake City, UT 84112, USA;
Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA;
机译:实用MPI程序的形式验证
机译:使用软件模型检查来验证MPI Java程序
机译:基于MPI的并行程序的自动形式验证
机译:用于验证MPI程序正确性的实用模型检查方法
机译:通过分布式因果关系跟踪对MPI程序进行可扩展的形式化动态验证。
机译:验证执行低侵入性美学医疗程序的正确性的图像分析和处理方法
机译:验证MPI程序正确性的实用模型检查方法