看到个新名词：形式化验证/形式化开发 作者: Frossky 时间: 2019-11-25 分类: 未分类 形式化方法在软件开发中的应用 说说形式化验证（Formal Verification）吧 标签: none 阅读量: 1293