会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
yspjack
博客园
首页
新随笔
联系
订阅
管理
2019年5月21日
面向对象第三单元博客作业
摘要: 面向对象第三单元博客作业 [TOC] 针对第三单元的三次作业和课程内容,撰写技术博客 • (1)梳理JML语言的理论基础、应用工具链情况 • (2)部署SMT Solver,至少选择3个主要方法来尝试进行验证,报告结果 • 有可能要补充JML规格 • (3)部署JMLUnitNG/JMLUnit
阅读全文
posted @ 2019-05-21 09:45 yspjack
阅读(372)
评论(0)
推荐(0)
编辑
公告