program verification发音

意思翻译

[计]程序验证

相似词语短语

verification───n.查证；核实

license verification───许可证验证

verification required───需要验证

verification code───验证码

verification failed───验证失败

gifted program───天才计划

internship program───实习计划；实习项目

check verification───支票鉴别

verification number───验证号码

双语使用场景

Then, the thesis program verification and design process in detail.───然后，论文进行了方案论证和设计过程的详细论述。

Program verification can be done both on source code and assembly code.───程序验证可以对源代码进行，也可以对汇编代码进行。

In the theory of programming, program synthesis is deeply concerned with program verification.───在程序理论方面，程序综合与程序验证关系密切。

NC Program Verification of Structure-Motion Characteristic Matrix and Its Effect───结构-运动特性矩阵的NC程序验证及效果

The Application of Cutter Swept Volume to NC Program Verification───刀具扫描体技术在NC加工图形验证中的应用

Modeling of virtual environment based on VM to verify sculptured surface NC program verification───基于虚拟制造的复杂曲面NC程序验证仿真环境的建立

英语使用场景

This paper summarizes two strategies of software security flaw detection, named static analysis and program verification.

Program verification tries to prove correctness of programs with strict theorem proving.

In the theory of programming, program synthesis is deeply concerned with program verification.

It also includes facilities to help program verification.