05 2020 档案

BUAAOO_UnitThree

摘要：目录一、JML语言理论基础工具链二、SMT Solver部署与验证三、JMLUnitNG 四、本单元架构设计五、Bug及修复情况六、心得体会引言本单元作业主要聚焦于JML规格下的代码完成与测试，考察了我们对于JML规格的阅读和理解能力，同时还考察了一些基本的数据结构和算法知识，要求阅读全文

posted @ 2020-05-22 00:18 hilda123 阅读(161) 评论(0) 推荐(0) 编辑