The precise formal description is the basement of the research, and all the analysis and verification behind are based on it.
精确的形式化描述是整个研究的基石，后面的分析和验证都基于该形式化描述。
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.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
In addition, the system can draw the relevance picture of experiment data, and make variance analysis and verification of notability of these data.
另外该系统实现了仿真试验数据关系图形的绘制及仿真试验数据的方差分析和因素显著性检验等功能。
The operations for LSI mask artwork play an important role in the mask artwork analysis and verification software. The core in these operations is the boolean operation and topological analysis.
LSI掩模图形的运算在版图分析和校验软件中占有重要的地位，而其中最核心的图形运算是布尔运算和拓扑分析。
Including asking questions, conjecture and assumptions, the planning and design of experiments, testing and evidence collection, analysis and verification, evaluation, exchanges and cooperation.
在探究的步骤中有：提出问题、猜想与假设、制定计划与设计实验、进行实验与收集证据、分析与论证、评价、交流与合作。
Secondly, some correction and enhancement are made to the theory of interface automata, and then the revised theory is applied to the compositional analysis and verification of software architectures.
然后在此基础上对接口自动机理论进行了完善，并研究了该理论在软件体系结构的组合分析与验证中的应用。
Secondly, some correction and enhancement are made to the theory of interface automata, and then the revised theory is applied to the compositional analysis and verification of software architectures.
然后在此基础上对接口自动机理论进行了完善，并研究了该理论在软件体系结构的组合分析与验证中的应用。
应用推荐