And Steve and I envisionthat such proof checkers get built into all our compute hardware, so it just becomes impossible to run very unsafe code.
史蒂夫和我设想这样的证明检查器会内置到我们所有的计算硬件中，因此不可能运行非常不安全的代码。
| 单词 | Proof checker |
| 释义 |
Proof checker
原声例句
TED演讲（音频版）精选 And Steve and I envisionthat such proof checkers get built into all our compute hardware, so it just becomes impossible to run very unsafe code. 史蒂夫和我设想这样的证明检查器会内置到我们所有的计算硬件中，因此不可能运行非常不安全的代码。
英语百科
Automated proof checking（重定向自Proof checker）
Automated proof checking is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning. Automated proof checking differs from automated theorem proving in that automated proof checking simply mechanically checks the formal workings of an existing proof, instead of trying to develop new proofs or theorems itself. Because of this, the task of automated proof verification is much simpler than that of automated theorem proving, allowing automated proof checking software to be much simpler than automated theorem proving software. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。