formal verification

基本解釋

• 形式驗證，[數(shù)] 形式證明

英漢例句

雙語例句

• Even today, formal verification is mainly a research area.
  甚至現(xià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ā)者進行審查，因此從來沒有出現(xiàn)過一個與其他形式的軟件開發(fā)類似的正式的驗證周期。
• 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 verification更多例句

詞組短語

短語

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

• formal verification更多詞組

專業(yè)釋義

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

• 形式驗證

  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)外形式驗證技術(shù)的研究成果,對主要方法進行了分析和比較并對新的熱點進行了展望。

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

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

• 形式驗證

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

• 形式化驗證

數(shù)學(xué)

• 形式證明
• 形式化驗證

材料科學(xué)

• 正式驗證