theorem-prover

基本解释

• n.定理证明程序

同根派生

英汉例句

• In addition,it uses a simple example to illustrate the application of the rules in Isabelle theorem prover.
  形式化规范和系统具体实现代码之间的一致性验证[1]。
• PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover.
  PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。
• Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions.
  Isabelle是一种用来构造交互式定理证明器的逻辑框架,由它构造的Isabelle/HOL是一种功能完备的定理证明系统。
• Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
  有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。
• Property verification is carried out using theorem proving systems.
  特性验证使用定理求证系统来实现。