查询词典 prover

Though one notion was defined in single prover condition and the other was in multi-provers condition but they were proved to be equivalent in essence.

并可证明这两个安全属性本质上是等价的。

We invoked the APL theorem prover in the certifying compiler PLCC and tested some representative programs.

APL定理证明器是完全自动的，并且APL所产生的证明可以被有效的记录和检查。

In this thesis, we investigate and show how to achieve both practical and general zero-knowledge systems that can be securely run in concurrent and resettable settings with bothconcurrent prover security and concurrent veri?er security in general public-key models.

在本学位论文中，我们研究和显示如何在广义公钥模型下构造实用的及一般的同时具有并发证明者安全和并发验证者安从而可以在并发及可重置环境中安全运行的零知识系统。

In this paper, the descriptive semantics of class diagrams, interaction diagrams and state machine diagrams are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models.

本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。

Uprated extra strength chains available for oven/prover extensions.

高功率的链条可用于烤箱工业。

Mr. Putin said there were signs of genocide against the Ossetian people.

普京说，有迹象表明对南奥塞梯人进行了种族清洗。

What I'm trying to say, Tristan is...

特瑞斯坦。我想说的是。