会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
hilda123
博客园
首页
新随笔
联系
订阅
管理
05 2020 档案
BUAAOO_UnitThree
摘要:目录 一、JML语言 理论基础 工具链 二、SMT Solver部署与验证 三、JMLUnitNG 四、本单元架构设计 五、Bug及修复情况 六、心得体会 引言 本单元作业主要聚焦于JML规格下的代码完成与测试,考察了我们对于JML规格的阅读和理解能力,同时还考察了一些基本的数据结构和算法知识,要求
阅读全文
posted @
2020-05-22 00:18
hilda123
阅读(161)
评论(0)
推荐(0)
编辑
公告