对形式验证的发展趋势也做了论述。
The current trends of formal verification are also discussed.
另外一种形式验证是特性检查。
其中形式验证是静态验证的一种。
形式验证是提高软件可靠性的有效手段。
Formal verification is an effective approach to enhancing the reliability of softwares.
模型检测技术是形式验证方法中的一种。
许多因素能够降低形式验证提供的信心度。
Many factors can betray the confidence offered by formal verification.
形式验证软件的缺陷。
形式验证作为传统模拟验证的补充越来越受到重视。
As the complement to traditional simulation-based verification process, Formal verification methods gain more momentum recently.
当然也包括单独代码的形式验证，文档和代码的评审。
It also includes the formal proof of individual pieces of code, and the review of documents and code.
形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。
Bugs in formal verification software can miss design errors and thus give false confirmation.
尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。
Formal verification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design.
而形式验证的目的在于检验混合系统是否在任何环境下都能安全运行。
The purpose of formal verification is to prove if the hybrid systems operate safely in all conditions.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
根据“从意义出发，找形式验证”的原则，共有129个量词被确定为集合量词。
According to the principle of from meaning to form, 129 classifiers are defined as collective classifier.
由于设计规模的扩大，芯片的功能设计、仿真、形式验证、测试等都遇到了新的问题。
New problems are encountered in functional design, simulation, formal verification, testing and other fields.
足球机器人是一个研究人工智能和机器人相关问题的标准平台，它通过竞赛的形式验证各种理论、算法和技术。
Robot soccer is a standard platform of researching artificial intelligence, robot and the related problem. Robot soccer is used to verify theory algorithm and technology by the form of match.
传统的验证手段难以排除所有的设计错误，人们转而求助于各种形式验证方法来保证设计在各种可能输入组合下的正确性。
The traditional verification method can't eliminate all the design error. Therefore, many people tum to various formal verification methods to grantee the correctness of the design under any inputs.
实验结果表明，利用形式验证的技术来导向模拟的过程，抓住了高复杂度的多错误定位问题的特征，提高了电路错误诊断的效率。
Experimental results show that using formal techniques to direct simulation captures the main characteristics of error location and improves the effectiveness and efficiency of design error diagnosis.
这样做是为将这些文档转化成一种称为语法的内部形式，可将其用于执行验证。
It does this in order to turn these documents into an internal form, called a grammar, which it can use to perform validation.
这通常需要某种形式的授权和对用户注册的身份验证。
This usually requires some form of authorization and authentication against a user registry.
构造函数方法从验证数据形式是否适合于处理开始。
The constructor method begins by verifying that the data is in a form suitable for processing.
前面已经讨论过，这种处理可能以不同的形式出现，例如索引维护、约束验证或者触发器执行。
As discussed earlier, this processing could take such forms as index maintenance, constraint verification, or trigger execution.
还进行了一些模型正确性验证，以确保所有模型构件具有良好的形式[7]。
Some validation for the correctness of the model are also conducted to make sure that all the model artifacts are well formed [7].
一启动，芯片身份证就会把独有的身份信息以纯文本格式播放出来，没有任何形式的加密或验证，任何人都会听到。
When prompted, they broadcast their unique identifier in plain text, without any form of encryption or authentication, to anyone who is listening.
图13概述了我们讨论过的验证形式。
Figure 13 is an overview of the forms of validation we've discussed.
不过，这种形式的验证是在其他形式的验证(标准、自定义、组件)之后发生的。
However, this form of validation occurs after other forms of validation (standard, custom, component).
利用required属性是一种默认验证形式。
Utilizing the required attribute is a form of default validation.
资源适配器的验证可以采取任何形式，不过通常涉及到对后端的某种“ping”操作，以测试连接。
The validation the resource adapter performs can take any form, but would typically involve some form of "ping" operation to the back end in order to test the connection.
问：我们正努力寻找WebSphereApplicationServer配置(v 5. x)以表格形式交叉验证的解决方案，例如下面的清单。
Question: We are trying to find a solution of getting WebSphere Application Server configuration (v 5.x) in a tabular form for cross verification, such as the following listing.
在其他形式的验证（标准、自定义）之后发生。
应用推荐