基本解释

• [计算机科学技术]形式化描述和验证

英汉例句

双语例句

• Validation and verification of formal requirements specification.
  需求规约的确认与验证。
• Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
  其中几本教材中有很少的篇幅涉及到确认和验证，但是仅仅是简单的引用IEEE标准或其他正式的方法。

专业释义

计算机科学技术

• 形式化描述和验证