摘要： 1.JML语言的理论基础和应用工具链情况 1）概述 JML是一种行为接口规范语言，其体现的是一种契约方法设计，也即在声明方法的时候，对输入和输出进行了一些规定，而从形式上jml是以javadoc注释的方式来写的，也即在注释块中每行的开头都是@。 2）结构 一段完整的JML，往往有如下几个结构requ 阅读全文