一.梳理JML语言的理论基础、应用工具链情况
形式化方法是保证软件正确性和质量的另一种重要方法。目前,许多基于JML[1~3]的验证、调试和测试工具已经非常成熟。形式化方法是保证软件正确性和质量的另一种重要方
阅读背景：
OO第三单元博客作业
来源：互联网
分享到：
