协同验证协同验证的优点(1) “先子模型，再合成”的方法将所有子模型验证结束后，再将子模型合成，对合成模型验证
子模型中部分流程修改时，对合成模型要重新验证
而交叉验证方法如果子模型中部分流程修改时，只需要重新验证该子模型和该子模型构成的部分合成模型的正确性，对其它部分不必重新验证，提高了验证效率，降低了成本
(2) “先子模型，再合成”的方法如果部分子模型中有流程修改时，要将所有的子模型及合成模型全部重新验证，不能够很好的支持动态性
交叉验证的方法能够较快的得到可靠稳定的模型，交叉验证过程使得协同验证是支持动态性的
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
