自动验证技术 meaning in Chinese

automated identification technologies

Model checking is an important technology of automatic verification
模型检验( modelchecking )是一种重要的自动验证技术。
Model - checking is one of the most successful automatic verification techniques in the past two decades . it has been used in the analysis and verification of finite - state systems such as sequential circuit designs and communication protocols
模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。
Recent research on automatic verification has shown that no single model - checking technique has the edge over all others in all application areas . so , it is very difficult to determine which technique is the most suitable for a given model . it is thus sensible to apply different techniques to the same model
最近关于自动验证技术研究表明在一个复杂系统分析和验证中，基于不同原理的model checking技术的使用效果有很大的区别，对于一个给定的应用系统模型而言，选择哪一种model checking技术最合适是一件十分困难的工作。