At this point, the servlet can do the validation and verification checking.
在这个点上，此servlet可执行确认和验证检查。
By checking a node in the Test Objects pane, you're including the data in that node in your verification point.
通过检查测试对象面板中的节点你就把那个节点中的数据包括进了你的验证点。
He is also concerned with the verification of security protocols through semantic formalisms and type checking.
他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。
The next task is to customise wrappers to allow rule checking, lookups and lookup verification (if required), logging, spawning programs and the use of banners.
下一个任务是定制wrappers，使它能够进行规则检查、查找和查找验证(如果需要的话)、记录、生成程序和使用标题。
Verification included using the ps command, checking top data, and checking LTP log data.
确认的手段包括使用ps命令、检查top数据和检查LTP日志数据。
Unit testing provides verification that the code does what is expected, not just spell-checking your typing.
单元测试检验代码是否做了开发人员希望它做的事儿，而不只是对类型进行拼写检查。
Checking is a process of confirmation, verification, and validation.
检查是一个证实(confirmation)、验证(verification)和确认(validation)的过程。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
Formal verification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design.
尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
The other type of formal verification is property checking.
另外一种形式验证是特性检查。
This system can achieve the parcel post information checking and verification by means of a medium vocabulary speaker independent continuous speech technology.
该系统利用中大词汇量非特定人连续语音识别技术实时实现了邮包信息的语音校核。
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。
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.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
The verification and measurement plan of checking fixture dimension should be confirmed by YFV engineer.
检具的尺寸验证测量计划需得到延锋工程师的确认。
Another important feature of the equipments is the checking standard function, which can implement supervision and control based on statistic theory to the quality of verification data.
本装置的另一重要特点是具备核查标准功能，可以对检定数据质量实施基于统计理论的监督和控制。
This includes the checking of accounting statements, verification of capital, survey of economic cases, and clearing for defunct of bankrupt enterprises.
承办审计会计报表、验证资本、经济案件鉴定、停业破产清算等业务。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
应用推荐