formal verification

常见例句

Even today, formal verification is mainly a research area.
甚至現在，形式騐証主要地用於研究領域。
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.
由於代碼一經發佈後就公開給其他開發者進行讅查，因此從來沒有出現過一個與其他形式的軟件開發類似的正式的騐証周期。
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建模概唸的語義（或含義）的槼範，對這些作爲自動代碼生成或正式確認的基於MDD的活動仍舊是不適儅的。