Furthermore, It illuminates how to use VDM technology to develop program, and program testifying with function and operation fo.
阐述了形式化分析方法的特点,具体说明了维也纳分析方法规格说明的两种规范:模块化说明与非模块化说明,及程序证明性依据:基于函数与操作的形式化规格说明。
, and carry out all-round audit with the operating process of government purchasing capital as its main line to stadardize audit procedure, promote audit quality and be on guard ag.
实行政府采购审计制度存在认识不足,审计不全面,未形成独立审计项目,业务不熟悉等问题,需要完善有关法律、法规和制度,围绕其特点、目标、方式等确定审计对象,以政府采购资金的运动过程为审计主线进行全面审计,规范审计程序。
Influence of auditing procedure on auditing efficiency;
审计程序对审计工作效率的影响
Considering to the Proving Standard in Administrative Litigation --The relationship between the proving standard of administrative litigation and administrative procedure;
对行政诉讼证明标准的思考——兼论行政诉讼证明标准与行政程序证明标准之应然关系
Further Research on Correctness of Program
关于程序正确性证明的进一步探讨
The Burden of Proof in WTO Dispute Settlement Proceedings
WTO争端解决程序中的证明责任研究
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
MRB procedures well defined and documented.
(2)+物料检讨程序定义清析并有文件证明.
such document shall be admissible on its production and without further proof in any proceedings
在任何聆讯程序中毋须再加证明，而可接纳为呈堂证据。
Procedure and Substance:the Double Assurances of Expert Conclusions Proof Role:In Illustration of Physical Evidence Authentication;
程序和实质：鉴定结论发挥证明作用的双重保障——以物证鉴定为例
The Due Procedure of Criminal Testimony;
刑事证明的正当程序——以非法证据排除的适用为视角
On the Divisibility Property of Fibonacci Sequence
Fibonacci序列整除性质的证明
Solid arrows indicate program flow.
实矢线指明程序流程。
Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.
象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。
(i) each entity and its constituent parts follow a single qualification procedure, except in cases of duly substantiated need for a different procedure;
(ⅰ)每一实体及其组成部分遵循单一的资格审查程序，除非能够适当证明有必要采用不同的程序；
A procedure exists to review complaints concerning the operation of a conformity assessment procedure and to take corrective action when a complaint is justified.
建立一程序,以审查有关实施合格评定程序的投诉,且当一投诉被证明属合理时采取纠正措施。
Breeding programs at Yellow Stone Park and else where have proved successful.
在黄石公园和其他地方的繁殖程序被证明是成功的。
A second party ( not the author of the CMM check program) shall perform the verification.
由第二个身份的人(不是做CMM测试程序报告的人)进行证明。
Develop procedures to ensure that your purchase order documents precisely describe what you want to buy.
制定程序以保证购买定单文件准确说明要购买的内容。
The liberality of SCRAP, however, proved short-lived.
然而，"学生反对管理机构的诉讼程序"案的宽大处理被证明是短命的。