• 1. formal verification: 形式验证 | 形式化验证 | 正式验证 | 形式证明
• 2. Formal Verification of Programs: 程序的形式验证
• 3. semi-formal verification: 半形式验证

更多释义

• 1.Formal verification software bugs.
  形式验证软件的缺陷。
  dict.yoduao.com
• 2.And formal verification is one form of static verification.
  其中形式验证是静态验证的一种。
  dict.yoduao.com
• 3.Many factors can betray the confidence offered by formal verification.
  许多因素能够降低形式验证提供的信心度。
  dict.yoduao.com

©2026 网易公司