协同验证协同验证的过程协同验证模型如图1所示
图1中R表示原子级和子网级化简规则的集合，sy表示合成模型，sb1，...，sbn分别表示n个子模型，实线表示子模型之间的语义约束，虚线表示应用R中的规则
协同验证的过程是一个交叉验证的过程，交叉验证与“先子模型，再合成“的方法在验证目的上式一致的
最终都是为了保证协同目标的实现
具体验证过程如下：(1) 子模型建模；(2) 子模型验证；(3) 子模型合成建模；(4) 合成模型验证
其中，子模型验证及合成模型验证均采用原子级和子网级的化简验证方法来验证子模型的正确性
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
