theorem-prover
常见例句
- 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.
特性騐証使用定理求証系統來實現。 - A member of the Herbrand base is called atom in automatic theorem proving.
在自動定理証明中,海爾勃朗基的成員也稱爲原子。 返回 theorem-prover