automatic software verification
...器学习(machine learning)，有限元网格生成(finite-element mesh generation)和自动化软件验证(automatic software verification)。 以上是对美国大学CS专业分支理论与算法专业 Theory and Algorithms的详细解读，希望能够帮助到更多申请美国CS的同学选校定位。
基于20个网页-相关网页
automatic software verification
自动软件验证
以上为机器翻译结果，长、整句建议使用 人工翻译 。