In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
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.
这些方法在一定程度上有助于减少或避免一些逻辑错误的出现，从而减轻了程序验证的负担。
Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.
而对于实际程序，大多数程序验证技术则不适合验证运行时间。
In the case of the tree object, Listing 11 shows a program to add a node to a tree object captured as verification point.
在tree对象中，列表11显示了一个添加节点到作为验证点获取的tree对象的程序。
Manufacturers earn the seal through compliance with rigorous GMO avoidance standards, including ingredient testing, as part of the nation's first third party non-GMO verification program.
制造商通过遵守严格转基因规避标准，包括成份测试，从而获得非转基因认证标志，这一标准已经成为国家首个第三方非转基因认证组织的一部分。
When looking for multivitamins check to see that the bottle has a USP (United States Pharmacopeia) or DSVP (Dietary Supplement Verification Program) stamp.
当买综合维生素试剂时，检查瓶底是否有USP（美国药典标准）或DSVP（膳食补充认证项目）的盖章批准。
This tutorial is associated with the PhoneBook IMS installation verification program and may already be installed.
本教程与PhoneBookIMS安装检验程序相关联，这个程序可能已经安装了。
This tutorial USES the IMS transaction IVTNO that is associated with the PhoneBook IMS installation verification program.
本教程使用与PhoneBookIMS安装检验程序相关联的IMS事务IVTNO。
Static verification offers the promise of finding many common errors in program logic such as possibly improper use of a method at compile time as opposed to at runtime.
状态检验(Static verification)可以查找多种通常的程序逻辑错误，如不恰当的使用一个在编译时而不是运行时的方法。
Program calculation and experimental verification has been conducted on the modal.
并对模型进行了编程计算及实验验证。
A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
The present part introduces collector -storage wall mathematical model, flow chart of model calculating, test and verification of the model and program, and a simple direction of the program usages.
本篇介绍数学模型中的集热墙数学模型，模拟计算框图，模型和程序的验证及程序使用简介。
It is important to transform machine code to high level language program in program analysis, verification, maintenance and reformation.
将计算机可执行的机器代码转换为高级语言程序，这对于分析、理解、测试、验证、移植和改造程序非常重要。
In the existing authentication and encryption program, if the signer denies his signatures to any other receiver cannot verify the honesty of the signature verification.
现有的认证加密方案中，如果签名者否认签名，接收者不能向其它任何验证者证实签名者的诚实性。
They should make use of the supervision program provided by MIPS to define verification board and core and realize system functions.
通过MIPS提供的监测程序对验证板和内核进行定义完成系统功能。
Experiment Title: 5.1 Based on the order of the stack in parentheses matching program design verification 1, experimental purposes 1. To master the order of the stack storage structure 2.
实验题目：5.1基于顺序栈的括号匹配程序设计验证一、实验目的1。掌握栈的顺序存储结构；
The motion orbit of cutting-tool is simulated dynamically on the computer screen, with test and verification of NC program achieved in the non-real cutting process.
仿真系统模拟数担数控机床硬件插补原理，在计算机上动态地模拟出刀具运动轨迹，实现非实际切削过程中的数控代码验证。
In another embodiment, after the pulses reach the maximum magnitude multiple program pulses are applied between verification operations.
在另一实施例中，在脉冲达到最大幅度之后，在验证操作之间施加多个编程脉冲。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
应用推荐