See Resources for a formal proof of the algorithm.
有关这种算法的形式证明请参阅 参考资料。
As of now we have not received any formal proof ', he said.
到现在我们还没有收到任何正式的官方文件。
Indeed, agencies enjoy considerably wider power to dispense with formal proof than the courts do.
事实上，行政机关较之法院享有更多更广泛的权力省却正式的举证。
It also includes the formal proof of individual pieces of code, and the review of documents and code.
当然也包括单独代码的形式验证，文档和代码的评审。
If people base such arguments on mental models, then there is no reason to suppose that they will lay them out like the steps of a formal proof.
如果人们基于这样一个心智模式的论点，他们就没有任何理由支持他们有必要安排形式化的证据。
Finally, given the size of the API, any formal proof of specific properties or the correctness of programs using it is an extremely difficult task.
最后，由于API的规模，特定属性的形式证明和使用这些属性的程序的正确性的验证变得相当困难。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
With these approaches, the behaviors and requirements of the system are described mathematically, and formal proof is used to verify that the behaviors behaves according to the requirements.
形式化验证方法运用数学方法表达系统的规范或系统的性质，并且根据数学理论来证明设计的系统满足设计的规范或具有所期望的性质。
The book gives a detailed account of how the formal “proof” of the efficiency of free markets evolved.
此书详细记叙了自由市场效率的权威“证据”的演变历程。
The formal documents attached to this formal notice shall be deemed sufficient proof of service of such notice.
而此种通知正式付邮的证件，应视为送达此种通知的充分证明。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
In this article we apply formal matrices technique to get a equivalent proposition of Li Shanian identity, and hence give an elementary proof for Li Shanlan identity.
本文应用形式矩阵的计算技巧，得到李善兰恒等式的一个等价命题，进而给出李善兰恒等式的一个初等证明。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
Formal verification is consisted of the procedural safeguards and proof of voluntariness, in order to determine the form of voluntary confession.
形式化查证由程序保障规则与任意性证明两部分构成，以此确定任意自白形式。
We have developed a formal specification and a proof of safety for the consensus mechanism described in Section 5.
我们已经制定了正式的规范并如第5章描述的一致性算法安全性的证明。
DT Part II "formal syntactic proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning.
DT第二部分“正式的句法的证据”显示你，在一个形式系统内运算，在那里你被形状指导并且从未需要考虑意思。
If we were working in the context of a formal mathematical proof.
如果我们以正规严谨的数学用语来表达。
The formal security proof of this scheme is provided in the random oracle model.
我们在随机预言模型下给出了方案的安全性证明。
Depending only on formal thinking, Euclid formed system through figure proof, firstly applied the fifth postulate in the 29th proposition.
欧几里德仅仅依靠形式思维，通过图形佐证形成体系，在第29个命题中首先运用第五公设。
Depending only on formal thinking, Euclid formed system through figure proof, firstly applied the fifth postulate in the 29th proposition.
欧几里德仅仅依靠形式思维，通过图形佐证形成体系，在第29个命题中首先运用第五公设。
应用推荐