• 它演示自动化技术TAL自动化定理证明从而验证操作系统中和运行时复杂低级代码安全性

    Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.

    youdao

  • 它演示了少量带有自动化定理证明功能,经过验证代码能够支持任意数量TAL代码

    Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.

    youdao

  • 公布程序代码与公布一个定理证明一样的。

    Publishing the source code of a program is the equivalent of publishing the proof of a theorem.

    youdao

  • 公布程序代码与公布一个定理证明一样的。

    Publishing the source code of a program is the equivalent of publishing the proof of a theorem.

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定