2019年5月22日
OO第三单元总结
摘要： 梳理JML语言的理论基础、应用工具链情况 JML是一种行为接口规范语言，可以用于指定Java模块的行为。JML可以让我们对某个JAVA的行为进行规范，而不用真正地陷入到实现的细节中去。 JML的许多构造配合SMT Slover可以对代码进行形式化验证。 通过部署JMLUnitNG/JMLUnit可以 阅读全文
posted @ 2019-05-22 20:29 syncline 阅读(171) 评论(0) 推荐(0) 编辑