formal program verification的意思|示意
美 / /
英 / /
正式程序验证
formal program verification的网络常见释义
形式程序验证 形式程序验证 （ Formal program verification ）是一项减少软件缺陷的有效方 法，能够证明软件的特定属性。