1.The Prover randomly generates it during the issuance protocol, together with a corresponding private key for the U-Prove token.
验证方会在发布协议中随机生成公钥，此时会使用针对U-Prove令牌的相关私钥。
2.Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
3.A prover for parallel numerical verification of a class of constructive geometry theorems.
一类构造性几何定理的数值并行法证明器。
4.In these cases, a first-order theorem prover may fail to terminate while searching for a proof.
在这种情况下，一阶定理证明者可能会失败而终止，而寻找证据。
5.PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.
PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。
6.Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
7.In the framework of certifying compiler, automated theorem prover plays a key role.
在出具证明编译器的理论框架中，自动定理证明技术发挥着关键作用。
8.He ended the article with a prover.
他用一句谚语作为文章的结尾。
9.Prover: Wangjida , General Manager in Anhui Risheng Real Estate Co. now.
证明人：现安徵省日申房地产开发公司总经理。
10.Replay attack prevention: Each issued U-Prove token also contains a token-specific public key that is known only to the Prover.
重放攻击（Replayattack）防护：每个发布的U-Prove令牌中还包含专门针对每个令牌的公钥，这只有验证方才知道。