prover

1 Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.

没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。

2 Her second album was a hit that proved her critics wrong.

3 London Times Petite Spaghetti Strap Faux Wrap Maxi Dress$118 $68Another dress that proves patterns can be fun and formal, this style from London Times would make for a great wedding guest dress.

4 The ownership prover insert the watermark into the host signal using symmetric watermark technology based on spread spectrum.

所有权证明者采用基于扩频的对称水印技术，在宿主信号中嵌入水印；

5 In contrast to the token's public key, this private key is not part of the U-Prove token; the Prover never discloses it when using the U-Prove token.

与令牌的公钥不同的是，这个私钥并不是U -Prove令牌的一部分；验证方永远不会在使用u - Prove令牌的时候透露它。

6 Replay attack prevention: Each issued U-Prove token also contains a token-specific public key that is known only to the Prover.

重放攻击（Replay attack）防护：每个发布的U-Prove令牌中还包含专门针对每个令牌的公钥，这只有验证方才知道。

7 He ended the article with a prover.

他用一句谚语作为文章的结尾。

8 It could not be proven that the suspect stole the money.

9 The Issuer may use various means to authenticate the Prover including accessing information contained in U-Prove tokens generated by other Issuers.

发布方可能会使用各种方法来对验证方进行认证，包括访问包含在U-Prove令牌中由其它发布方生成的信息。

10 Effective use of a theorem prover requires a solid understanding of the internal operations of the tool and a familiarity with the mathematical proof process.

高效地使用定理证明需要对工具的内部操作有坚实的理解并且熟悉数学证明过程。

11 The tests proved the vaccine to be effective.

12 This paper proposes an automatic calibration system of bell prover gas calibration facility.

介绍了一种钟罩式气体流量标准装置自动检定系统。

13 This paper presents a technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic. The technique realized as a tool called APL is implemented.

提出了一种为指针逻辑设计定理证明器的新技术，该项技术主要是基于变换和替代，已在APL的工具中得以实现。

14 The charges against him were never proved in court.

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

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

16 To compute this response the Prover applies the private key for the U-Prove token to a presentation challenge of the Verifier.

为了对这个响应进行计算，验证方会把针对U - Prove令牌的私钥应用于校验方的表现请求。

17 A person who is charged with a crime is considered innocent until proved guilty.

18 Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.

尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。

19 After obtaining a token, the Prover will use it in relation with a Verifier to establish a trusted relationship between the two via the Presentation protocol.

在获得了令牌之后，验证方会与校验放取得联系并通过表现协议在二者之间确立可信任的关系。

20 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.

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

1 证明者

attestor demonstrator verifier certifier vindicator justifier

2 证明人

reference referee