formal verification

常見(jiàn)例句

雙語(yǔ)例句

• 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ā)布后就公開(kāi)給其他開(kāi)發(fā)者進(jìn)行審查，因此從來(lái)沒(méi)有出現(xiàn)過(guò)一個(gè)與其他形式的軟件開(kāi)發(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建模概念的語(yǔ)義（或含義）的規(guī)范，對(duì)這些作為自動(dòng)代碼生成或正式確認(rèn)的基于MDD的活動(dòng)仍舊是不適當(dāng)?shù)摹?/li> 返回 formal verification