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的活动仍旧是不适当的。