形式验证 meaning in Chinese
formal verification
Examples
- And formal verification is one form of static verification
其中形式验证是静态验证的一种。 - Formal verification of hybrid systems
混合系统的形式验证方法 - Formal verification of hybrid systems and its application on chemical process control
逻辑控制器的形式验证及其应用 - This paper analyses patial sequential theory of formal verification , states the principle of modeling complex systems
本文通过对形式验证中部分顺序理论的分析，阐述了通过串并行部序集描述复杂系统的原理。 - The glossary significance finally manifests in the syntax structure by a certain form , the verb valence may carry on the formal verification in the syntax structure
词汇意义最终在句法结构中以一定形式体现出来，动词的价可以在句法结构中进行形式验证。