基本解釋

• 形式驗(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)過一個(gè)與其他形式的軟件開發(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ī)范，對(duì)這些作為自動(dòng)代碼生成或正式確認(rèn)的基于MDD的活動(dòng)仍舊是不適當(dāng)?shù)摹?/li>

• formal verification更多例句

詞組短語

短語

• formal program verification 形式程序驗(yàn)證
• formal schedulability verification 形式化可調(diào)度性驗(yàn)證
• dynamic -formal hybrid verification 動(dòng)態(tài)一形式混合驗(yàn)證
• Formal Methods and Verification 形式化方法與驗(yàn)證
• Formal Verification of Programs 程序的形式驗(yàn)證

• formal verification更多詞組

專業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 形式驗(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ù)的研究成果,對(duì)主要方法進(jìn)行了分析和比較并對(duì)新的熱點(diǎn)進(jìn)行了展望。

• 形式化檢驗(yàn)
• 形式化驗(yàn)證
• 服務(wù)組合驗(yàn)證

電子、通信與自動(dòng)控制技術(shù)

• 形式驗(yàn)證

  And formal verification is one form of static verification.
  其中形式驗(yàn)證是靜態(tài)驗(yàn)證的一種。

• 形式化驗(yàn)證

數(shù)學(xué)

• 形式證明
• 形式化驗(yàn)證

材料科學(xué)

• 正式驗(yàn)證