prover

The method of measuring tank volume with pipe prover calibration device

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

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得到的密文。

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的签名，而是提供拥有该信息的数字签名的一个零知识证明。

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.

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

Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.

有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。

The Constructions of a Parallel Interactive Theorem Prover

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

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.

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

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

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

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

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

Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover

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

This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

这是一个用于一阶和逻辑方程式的自动理论证明器，用于支持语言处理中的推理。

Some Improvements on the Boyer-Moore Theorem Prover

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

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

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

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

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

A prolog system based on the connection theorem prover

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

A simulate Boyer-Moore theorem prover

模拟Boyer-Moore定理证明器

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

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

The Study of Hardware Verification in Theorem Prover HOL

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

Program Developing System with Theorem Prover Embedded in

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