School of Computing Univ. of Utah Salt Lake City UT 84112 USA;
Math. and Comp. Sci. Div. Argonne Nat. Lab. Argonne IL 60439 USA;
机译:使用软件模型检查来验证MPI Java程序
机译:基于MPI的并行程序的自动形式验证
机译:实用MPI程序的形式验证
机译:具有探针非确定性的MPI程序的声音和高效动态验证
机译:通过分布式因果关系跟踪对MPI程序进行可扩展的形式化动态验证。
机译:新生儿声门下光学相干断层扫描图像的动态编程和自动分割:实现有效的诊断以管理声门下狭窄
机译:具有探针不确定性的MPI程序的可靠,高效的动态验证Verification