Using recursion tremendously simplifies the verification of programs.
使用递归可以极度简化程序的核查。
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部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
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，使它能够进行规则检查、查找和查找验证(如果需要的话)、记录、生成程序和使用标题。
A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
In terms of the authors sketch of design and verification of safety programs, a pointer logic system is designed for a subset of C-like language.
文中根据作者所设想的安全程序的设计和证明框架，为类c语言的一个子集设计了一个指针逻辑系统。
This article provides an operating procedure and writes some SAS programs for verification of source data, database, blindness and randomization in clinical trials, and blind review.
本文描述了临床试验中，原始资料审核，数据库数据核对，盲法、随机化等实施的审核，以及盲态审核的SAS程。
Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.
而对于实际程序，大多数程序验证技术则不适合验证运行时间。
In addition, manufacturers of the products must participate in verification testing programs run by recognized certification bodies.
此外，产品制造商必须参加验证测试认可的认证机构运行的程序。
We make programs and make calculation and verification of the practical project.
采用三种地震波，对工程实例进行验证计算分析。
We make programs and make calculation and verification of the practical project.
采用三种地震波，对工程实例进行验证计算分析。
应用推荐