1.
Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.
象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。
2.
Further Research on Correctness of Program
关于程序正确性证明的进一步探讨
3.
The Burden of Proof in WTO Dispute Settlement Proceedings
WTO争端解决程序中的证明责任研究
4.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
5.
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
6.
MRB procedures well defined and documented.
(2)+物料检讨程序定义清析并有文件证明.
7.
Considering to the Proving Standard in Administrative Litigation --The relationship between the proving standard of administrative litigation and administrative procedure;
对行政诉讼证明标准的思考——兼论行政诉讼证明标准与行政程序证明标准之应然关系
8.
such document shall be admissible on its production and without further proof in any proceedings
在任何聆讯程序中毋须再加证明，而可接纳为呈堂证据。
9.
Procedure and Substance:the Double Assurances of Expert Conclusions Proof Role:In Illustration of Physical Evidence Authentication;
程序和实质：鉴定结论发挥证明作用的双重保障——以物证鉴定为例
10.
The Due Procedure of Criminal Testimony;
刑事证明的正当程序——以非法证据排除的适用为视角
11.
On the Divisibility Property of Fibonacci Sequence
Fibonacci序列整除性质的证明
12.
Solid arrows indicate program flow.
实矢线指明程序流程。
13.
(i) each entity and its constituent parts follow a single qualification procedure, except in cases of duly substantiated need for a different procedure;
(ⅰ)每一实体及其组成部分遵循单一的资格审查程序，除非能够适当证明有必要采用不同的程序；
14.
A procedure exists to review complaints concerning the operation of a conformity assessment procedure and to take corrective action when a complaint is justified.
建立一程序,以审查有关实施合格评定程序的投诉,且当一投诉被证明属合理时采取纠正措施。
15.
Breeding programs at Yellow Stone Park and else where have proved successful.
在黄石公园和其他地方的繁殖程序被证明是成功的。
16.
A second party ( not the author of the CMM check program) shall perform the verification.
由第二个身份的人(不是做CMM测试程序报告的人)进行证明。
17.
Develop procedures to ensure that your purchase order documents precisely describe what you want to buy.
制定程序以保证购买定单文件准确说明要购买的内容。
18.
The liberality of SCRAP, however, proved short-lived.
然而，"学生反对管理机构的诉讼程序"案的宽大处理被证明是短命的。