go top

automatic software verification

网络释义

  自动化软件验证

...器学习(machine learning),有限元网格生成(finite-element mesh generation)和自动化软件验证(automatic software verification)。 以上是对美国大学CS专业分支理论与算法专业 Theory and Algorithms的详细解读,希望能够帮助到更多申请美国CS的同学选校定位。

基于20个网页-相关网页

有道翻译

automatic software verification

自动软件验证

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

双语例句

  • This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.

    本文提出一种基于有限回溯符号执行软件疑似缺陷自动验证方法

    youdao

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

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

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