Automatic Theorem Proof 自动定理证明
theorem and its proof 定理及其证明
Proof of Clifford Theorem Clifford定理证明
proof of initialization theorem 初始化定理证明
As one of the important research branch of formal verification, theorem proof plays an important role in enhancing the safty and dependability of software systems. Isabelle, based on higher order logic, is an interactive theorem prover.
定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
参考来源 - Isabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐