2019-北航面向对象-JML作业总结
摘要:
本次作业的要求为: 针对第三单元的三次作业和课程内容,撰写技术博客 (1)梳理JML语言的理论基础、应用工具链情况 (2)【改为选做,能较为完善地完成的将酌情加分】部署SMT Solver,至少选择3个主要方法来尝试进行验证,报告结果 • 有可能要补充JML规格 (3)部署JMLUnitNG/JML 阅读全文
posted @ 2019-05-22 19:12 甜宝YC 阅读(234) 评论(0) 推荐(0) 编辑