prover信息详情
n.证人；校准仪
proverb───n.谚语，格言；众所周知的人或事
provers───n.证人；校准仪
Grover───n.格鲁佛氏；调弦系统；卷弦器
drover───n.把家畜赶到市集的人；家畜商人；牲畜贩子
plover───n.珩；千鸟；珩科鸟（如凤头麦鸡）
proved───adj.证实的；被证明的；v.证明；检验；表现出；钻探（prove的过去分词）
proven───v.证明；（面包）发酵（prove的过去分词）
proves───证明；证明是
trover───n.取得；追索侵占物诉讼
The Issuer will protect the token by signing it and by including a public key known only to the prover.───发布方会通过对其进行签名并且包含只有验证方才知道的公钥来保护令牌。
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令牌中还包含专门针对每个令牌的公钥，这只有验证方才知道。
To compute this response the Prover applies the private key for the U-Prove token to a presentation challenge of the Verifier.───为了对这个响应进行计算，验证方会把针对U - Prove令牌的私钥应用于校验方的表现请求。
The Prover randomly generates it during the issuance protocol, together with a corresponding private key for the U-Prove token.───验证方会在发布协议中随机生成公钥，此时会使用针对U-Prove令牌的相关私钥。
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.───尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
A prover for parallel numerical verification of a class of constructive geometry theorems.───一类构造性几何定理的数值并行法证明器。
In these cases, a first-order theorem prover may fail to terminate while searching for a proof.───在这种情况下，一阶定理证明者可能会失败而终止，而寻找证据。
PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.───PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.───没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。