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