Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
Carry on indoor model simulation experiment, through experimental result with perform comparison verification of result of analysis on feasibility and accuracy of method instead.
进行了室内模型模拟实验，通过实验结果与反演结果的比较验证反演方法的可行性及准确性。
Then, a verification of the function of the model is given according to the modeling and implement in event correlation analysis system.
通过该模型在实际的事件关联性分析系统中的建模和实现情况，对该模型的作用作出了验证。
By the verification of error analysis, the accuracy and reliability of the model accord with the designing demands, and can be used by the production and design units.
经过误差分析验证，模型的精度、可靠度均满足设计要求，可供生产设计单位使用。
The paper gives a verification of the soundness and performance analysis of this Web services composition model based on SPN-NET.
文中给出了基于SPN - NET模型的服务组合合理性验证和性能分析方法。
The basic notion, computing model and result verification, etc, of displacement measurement inversion analysis are expounded. The example of calculation shows its validity.
阐述了位移测量反演分析的基本思路、解算模型、成果检验等，并用计算实例说明了其有效性。
Thereby, this text introduces the simplest model, unit trend analysis, to predict the company financial distress, and use Z-Score model to carry on verification.
因此本文力求使用最简单的单元趋势分析来预测公司财务困境，并使用Z-模型进行验证。
Propose a security vulnerabilities detection model which use static analysis and dynamic verification strategy.
提出了一个静态分析，动态验证的安全漏洞检测模型。
Theoretical analysis and example verification indicate that the new model proposed is more rational and the diagnosis result more accurate.
理论分析以及大量的实例验证表明新模型更加合理，诊断结果更为准确。
The establishment of robustness analysis model provides a simple and convenient tool in the rationality verification of prior distribution.
先验分布稳健性分析模型的研究，对于先验分布的合理性检验的提供了一个简便实用的工具。
According to the function, some important qualities were presented to guarantee the correctness of system. The analysis and verification of the model are shown by S_invariants.
根据系统功能，提出了保证系统功能正确性应具有的重要性质，继而用S _不变量对其进行了分析、验证。
According to the function, some important qualities were presented to guarantee the correctness of system. The analysis and verification of the model are shown by S_invariants.
根据系统功能，提出了保证系统功能正确性应具有的重要性质，继而用S _不变量对其进行了分析、验证。
应用推荐