2019年5月21日
面向对象第三单元博客作业
摘要： 面向对象第三单元博客作业 [TOC] 针对第三单元的三次作业和课程内容，撰写技术博客 • (1)梳理JML语言的理论基础、应用工具链情况 • (2)部署SMT Solver，至少选择3个主要方法来尝试进行验证，报告结果 ​ • 有可能要补充JML规格 • (3)部署JMLUnitNG/JMLUnit 阅读全文
posted @ 2019-05-21 09:45 yspjack 阅读(372) 评论(0) 推荐(0) 编辑