...能是由于我本人所及的匮乏”没什么方法去机械的强加给它们，当它看上去需要某种类型的自动定理证明器（automatic theorem prover ），对之我没有存在的证据。
基于8个网页-相关网页
应用自动化定理证明引擎(Automatic Theorem Prover,ATP)，获取证明结果，提取证明路径。最后利用CSEA算法，从证明路径中提取目标服务的实现体(基于DFM模型...
基于4个网页-相关网页
automatic theorem prover
自动定理证明器
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
youdao
应用推荐
模块上移
模块下移
不移动