这个应用程序验证输入到输入域中的邮政编码。
The application validates postal codes entered into an entry field.
许多具体的例子为解决问题和方程序验证方法。
Numerous specific examples clarify the methods for solving problems and equations.
在程序理论方面，程序综合与程序验证关系密切。
In the theory of programming, program synthesis is deeply concerned with program verification.
应用程序验证标识符(将用户定向到其OP以进行登录)。
The application verifies the Identifier (by directing the user to her OP to sign in).
清单7a.为系统管理程序验证网络发现-请求。
Listing 7a. Verify network discovery for the hypervisor - request.
清单7b.为系统管理程序验证网络发现-响应。
Listing 7b. Verify network discovery for the hypervisor - response.
程序验证可以对源代码进行，也可以对汇编代码进行。
Program verification can be done both on source code and assembly code.
基于软件OBS核心控制程序验证了实验平台的有效性；
The platform is further verified with the OBS core node control software.
而对于实际程序，大多数程序验证技术则不适合验证运行时间。
Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.
图3显示了我运行示例应用程序验证我的OpenID时来自OP的信息。
Figure 3 shows the information pulled from the OP when I run the sample application to authenticate my OpenID.
中断：这将停止应用程序验证程序继续其余的验证，并允许您立即对错误进行评估。
Break: This will stop Application Verifier from proceeding with the rest of the verification and allow you to evaluate the error immediately.
这些方法在一定程度上有助于减少或避免一些逻辑错误的出现，从而减轻了程序验证的负担。
A lot of logical errors can be reduced or avoided to a certain extent with these methods and the task of program verification is reduced.
由于各种处理程序处理架构位置提示的方式各不相同，所以我也建议您用多个处理程序验证样例。
I also recommend validating your samples using multiple processors because of differences in the way various processors handle schema location hints.
在中介流的Response选项卡下，您可以看到已通过应用程序验证的附件现在如何以同样方式被传回。
In the Response TAB of the mediation flow, you can see how the attachment that has been verified by the application is now passed back in a similar way.
应用程序验证程序可以协助开发人员迅速找到细微的编程错误，而使用普通应用程序测试方法可能很难找到这些错误。
Application Verifier assists developers in quickly finding subtle programming errors that can be extremely difficult to identify with normal application testing.
如果您选择在项目属性内记录您的错误，则应用程序验证程序将生成一个工具窗口，在其中将显示特定于该错误的信息。
If you selected to log your error within the project properties, an Application Verifier stop will generate a Tool Window that displays information specific to the error.
在使用XML模式实现健壮的验证时，请记住：(几乎是肯定地)当您的应用程序验证文档时，应用程序不应该取决于文档本身的正确性。
When implementing robust validations with XML schemas, keep in mind that — almost by definition — when your application validates documents, it should not depend on those documents being correct.
在使用XML模式实现健壮的验证时，请记住：(几乎是肯定地)当您的应用程序验证文档时，应用程序不应该取决于文档本身的正确性。
When implementing robust validations with XML schemas, keep in mind that — almost by definition — when your application validates documents, it should not depend on those documents being correct.
应用推荐