The precise formal description is the basement of the research, and all the analysis and verification behind are based on it.

精确的形式化描述是整个研究的基石，后面的分析和验证都基于该形式化描述。

youdao

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.

在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。

youdao

In addition, the system can draw the relevance picture of experiment data, and make variance analysis and verification of notability of these data.

另外该系统实现了仿真试验数据关系图形的绘制及仿真试验数据的方差分析和因素显著性检验等功能。

youdao

The problem actually is not going to be verification in the sense that this international consultation and analysis mechanism will actually tell us a lot of what we need to know.

WHITEHOUSE: President Obama at Copenhagen Climate Change Conference

This proposal threatens to become the latest in a long line of expensive verification systems that fail a basic cost-benefit analysis and threaten to drown Americans in bureaucracy at every stage of their lives.

FORBES: Ending Birthright Citizenship Would Be Costly for Americans

New forms of student verification are being developed and include such things as retinal scanning, electronic fingerprinting, and key stroke analysis.

FORBES: The Myths of Online Learning