摘要: 本文对并行程序的一些验证方法进行了讨论。以图示的形式指出了这些方法之间的关系。也分析了它们的优缺点。