prover的例句大全

Program Developing System with Theorem Prover Embedded in

内含定理证明器的程序开发系统

互联网摘选

SYSTEM All definitions and proofs have been done fully formally with the interactive theorem prover HOL 4, representing one of its major applications.

上述工作的形式化是在交互式定理证明器HOL系统中完成的。

互联网摘选

A prolog system based on the connection theorem prover

基于连接法定理证明器的PROLOG系统

互联网摘选

The paper presents a PROLOG system and its features, based on the connection theorem prover.

本文介绍以连接法定理证明器为基础的PROLOG系统及其特点。

互联网摘选

The main feature of the method is that it suits the synthesis system with no theorem prover. The concept the complete set of transformation rule' is put forward.

本方法主要特点是适用于不带证明器的综合系统，为此提出了完备变换规则组概念及相应的一套综合过程。

互联网摘选

Some Improvements on the Boyer-Moore Theorem Prover

对Boyer-Moore定理证明器的若干改进

互联网摘选

A simulate Boyer-Moore theorem prover

模拟Boyer-Moore定理证明器

互联网摘选

Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed.

要不然，抽象会丢掉那么多信息，以致于定理证明程序产生的结果对抽象而言是正确的，但是对于正在被分析的程序而言则是不正确的了。

互联网摘选

Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover

基于Isabelle定理证明器算法程序的形式化验证

互联网摘选

The Study of Hardware Verification in Theorem Prover HOL

基于定理证明器HOL的硬件验证研究

互联网摘选

The Constructions of a Parallel Interactive Theorem Prover

交互式并行定理证明环境的构建

互联网摘选

In the new scheme, the Prover extra need an open Y message to construct Cert, and the Y is a ciphertext of m.

新方案在生成Cert时多使用一个公开信息Y，是由可信任第三方（TTP）的一个公钥加密m得到的密文。

互联网摘选

We can also in prover our speaking bu role-play.

我们可以通过角色扮演来提高我们的演睡说能力.

互联网摘选

In the scheme the prover has not to give directly the DSA signature of a message, but to give a zero-knowledge proof of possessing a DSA digital signature of the message.

该方案给出了防止DSA数字签名任意传播的一种新方法&签名者不直接提供对信息M的签名，而是提供拥有该信息的数字签名的一个零知识证明。

互联网摘选

Strong Separation of Multi-Prover Interactive Class MIP from co-NP

多证明者交互式语言类MIP与co-NP的强分离

互联网摘选

The method of measuring tank volume with pipe prover calibration device

体积管容量校准装置标定液舱容量的方法

互联网摘选

the book of proverbs proclaims that "where there is no vision, the people perish" (29: 11), but the book is only half right.

《箴言篇》（TheBookofProverbs）写道，“人无远见，必将灭亡”（29：11），但只说对了一半。

互联网摘选

a prover for parallel numerical verification of a class of constructive geometry theorems.

一类构造性几何定理的数值并行法证明器。

互联网摘选

When either the Approver has completed or the Assessor has accepted, the approval information is returned. ''

当Approver完成或者Accessor接受时，将会返回批准信息。

互联网摘选

Note that the call will be made on the "approver" partner to perform the approve operation.

请注意：将在“approver”伙伴上进行调用以执行approve操作。

互联网摘选