2021年5月30日
BUAA-OO-2021 第三单元总结
摘要： 前言 JML JML(Java Modeling Language) 是用于对 Java程序进行规格化设计的一种表示语言。其结合了Effiel的契约式设计与Larch的基于模型的验证方法。 SMT Solver 将形式化验证问题转化为公式满足性问题，验证程序等价。 OpenJML OpenJML是一 阅读全文
posted @ 2021-05-30 21:40 buaa-shy 阅读(191) 评论(1) 推荐(0)