特性验证使用定理求证系统来实现。
Property verification is carried out using theorem proving systems.
接着他又主动要求证明这一看法的正确性。
He then volunteered to demonstrate the validity of his opinion. Mr.
记者给警方打电话求证，但是没有人接电话。
要请求证书，请转到CA的网站，并定购证书。
To request a certificate, go to the ca's Web site and order your certificate.
要请求证书，您需要使用加密软件生成一个密钥对。
To request a certificate, you need to generate a keypair using cryptography software.
他向这个大师求证，以为他听到的是冥想的秘传秘诀。
"He clarified with the master thinking he was about to be told the esoteric secret to meditation."
所以布达佩斯厄特沃什大学的科学家决定做这个求证。
So scientists at Eotvos University in Budapest decided to do just that.
“没错，就是它，”哈里先公布了答案，然后向妻子求证。
"Yes that's it," Harry announces before turning to his wife.
因为，我想求证，我绝对的相信所有这一切真的就这样发生了。
Because, I should get this out there, I'm absolutely convinced all of that stuff really happened.
执行要求证明了支持某种特殊政策的交付功能或执行任务的能力。
Performance requirements demonstrate the ability to deliver functionality or perform tasks that support a specific policy.
其实，爱有时只是在作一种自我求证，在求证自己是否真正爱了。
In fact, sometimes love just for a self-verify, verify whether they are in a real love.
人们说，伯尼曾在阿斯彭住着，还有他的弟弟彼得，但从来没有公开求证。
Bernie had been in Aspen, people said, as had his brother, Peter, but never to solicit blatantly.
配置窗口打开，在其中指定向哪个系统请求证书——在这里是SAP系统。
The configuration window opens for the system from which the certificate will be requested — in this case the SAP system.
我接触过两类电话尽职调查：(1)求证性电话询问(2)调查性电话询问。
I experience two types of due diligence calls: (1) Confirmatory calls and (2) Investigative calls.
如果你读到或听到人们对大豆或雌激素做出论断，向他们求证来源及同行评审研究。
If you read or hear people making claims about soy and estrogen, ask for the sources, and ask that they be peer-reviewed studies.
工具可以提供一些高级ROI图，你可能被要求证实这些图，或者按照这些图实现收益。
The tools can provide some high ROI figures which you can be asked to justify, or commit to in terms of benefits realization.
程序性要求证明了坚持文档化的操作过程——例如，“老板有责任适时确认职员的身份。”
Procedural requirements demonstrate adherence to documented operational process — i.e. "employers will be responsible for appropriately validating the identity of employees."
死亡哲学试图唤醒人们对于死亡的感知，从而激活人的生命意识，更好地求证生命的本义。
Thus, for the sake of stimulating survival awareness, and furthermore, proving the essence of survival, death philosophy attempts to waken man's feelings about death.
他向纳博科夫在纽约的编辑求证这一消息，后者告诉他：「都准备好了：人物，场景，细节。
This news he corroborated with Nabokov's New York editor, who told him: "It's all there: the characters, the scenes, the details.
超越体育奖用来嘉奖他们的成功，求证他们为什么成功，并且用他们非凡的成功来启发人们。
Beyond Sport will celebrate their achievements, identify why they succeed, and use them to inspire others.
我向女主人求证，也印证了这个结论，她告诉我这两人只是住得近的朋友，一起搭顺风车罢了。
I checked with the hostess, who confirmed my conclusion, informing me the two were friends who lived near each other, sharing rides.
如果某人的行为前后不一致，或者他们给的细节不合乎情理，那么相信你的观察，多做一些求证。
If someone's behavior is inconsistent, or if the details they give you don't add up, trust it, and do some fact checking.
指定了X.500专有名称，它标识了证书（这与向CA请求证书时填写标识信息是一样的）。
The X.500 distinguished name that identifies the certificate is specified (this is equivalent to filling in the identification information when requesting a certificate from a CA).
假如你旅游到了一个说英语的国家，你会很快习惯向陌生人问路——询问方向，求证和征询意见。
If you're visiting an English-speaking country, you quickly become used to speaking to strangers - to ask directions, to ask for clarification and advice.
他们知道媒体从业人员会人云亦云地传播每一条留言的每一个细节，而不去做一些简单的事实求证。
They knew media reporters would parrot every bit of gossip without bothering with lowly fact-checking.
他们知道媒体从业人员会人云亦云地传播每一条留言的每一个细节，而不去做一些简单的事实求证。
They knew media reporters would parrot every bit of gossip without bothering with lowly fact-checking.
应用推荐