go top

program proving

网络释义

  程序证明

...之前,实际上还应证明程序是正确的,即证明程序对所有可能的合法输人都能得到正确的结果,这一工作称为程序证明(Program Proving)。这一领域是当前很多计算机科学工作者集中研究的对象,还处于相当初期的阶段。

基于16个网页-相关网页

短语

proving program [计] 验证程序

proving program correct 证明程序正确性

有道翻译

program proving

项目证明

以上为机器翻译结果,长、整句建议使用 人工翻译 。

权威例句

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

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

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