model verification and analysis

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.

通过该模型在实际的事件关联性分析系统中的建模和实现情况，对该模型的作用作出了验证。