formal verification
基本解釋
- 形式驗(yàn)證，[數(shù)] 形式證明
英漢例句
- Even today, formal verification is mainly a research area.
甚至現(xiàn)在，形式驗(yàn)證主要地用于研究領(lǐng)域。 - Since the code is open to review by other developers as soon as it is released, there was never a formal verification cycle performed as is common in other forms of software development.
由于代碼一經(jīng)發(fā)布后就公開給其他開發(fā)者進(jìn)行審查，因此從來沒有出現(xiàn)過一個與其他形式的軟件開發(fā)類似的正式的驗(yàn)證周期。 - In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.
特別是，UML建模概念的語義（或含義）的規(guī)范，對這些作為自動代碼生成或正式確認(rèn)的基于MDD的活動仍舊是不適當(dāng)?shù)摹?/li>
雙語例句
詞組短語
- formal program verification 形式程序驗(yàn)證
- formal schedulability verification 形式化可調(diào)度性驗(yàn)證
- dynamic -formal hybrid verification 動態(tài)一形式混合驗(yàn)證
- Formal Methods and Verification 形式化方法與驗(yàn)證
- Formal Verification of Programs 程序的形式驗(yàn)證
短語
專業(yè)釋義
- 形式驗(yàn)證
The research results of formal verification technology at home and abroad are investigated in this paper,the principal methods are analyzed and compared,and some problems worth researching are pointed out.
研究了國內(nèi)外形式驗(yàn)證技術(shù)的研究成果,對主要方法進(jìn)行了分析和比較并對新的熱點(diǎn)進(jìn)行了展望。 - 形式化檢驗(yàn)
- 形式化驗(yàn)證
- 服務(wù)組合驗(yàn)證
- 形式驗(yàn)證
And formal verification is one form of static verification.
其中形式驗(yàn)證是靜態(tài)驗(yàn)證的一種。 - 形式化驗(yàn)證
- 形式證明
- 形式化驗(yàn)證
- 正式驗(yàn)證