比胸罩更贴心的男
软件形式化 关于软件形式化验证
你好，我研究生期间做的是这个方向，我说说我的了解，仅供参考~ 软件开发中一般使用“测试”来找bug，这种方法只能找到bug，不能证明程序没有bug。 形式化验证是用逻辑来验证程序的可靠性，就是把一...
用户登录
还没有账号?立即注册
用户注册
投稿取消
| 文章分类: |
|
还能输入300字
上传中....
