verification constraints
验证约束
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The reduction rules in co-verification see the consistency in semantic constraints as principle, reducing the model when there are no semantic conflicts gradually.
协同验证的化简规则是在语义约束一致性的原则下，逐步规约模型中无语义冲突的部分。
youdao
应用推荐
模块上移
模块下移
不移动