青年中文prover的意思
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.───沒有自動定理證明器的支持，程序性質的證明全部需要程序員手工完成，工作量巨大。