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.