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的活动仍旧是不适当的。
双语例句
词组短语
- formal program verification 形式程序验证
- formal schedulability verification 形式化可调度性验证
- dynamic -formal hybrid verification 动态一形式混合验证
- Formal Methods and Verification 形式化方法与验证
- Formal Verification of Programs 程序的形式验证
短语
专业释义
- 形式验证
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.
研究了国内外形式验证技术的研究成果,对主要方法进行了分析和比较并对新的热点进行了展望。 - 形式化检验
- 形式化验证
- 服务组合验证
- 形式验证
And formal verification is one form of static verification.
其中形式验证是静态验证的一种。 - 形式化验证
- 形式证明
- 形式化验证
- 正式验证