formal verification

常見例句

雙語例句

• 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ī)范，對這些作為自動代碼生成或正式確認的基于MDD的活動仍舊是不適當?shù)摹?/li> 返回 formal verification