2020年5月23日
OO第三单元作业
摘要： OO第三单元作业 BearHuchao 2020年5月23日 JML这个东西，放眼全国，北航独此一家。 ——诸彤宇 前言 本单元的主题是形式化设计与验证。软件测试无法证明系统不存在缺陷，也不能证明它符合一定的属性。只有形式化验证过程可以证明一个系统不存在某个缺陷或符合某个或某些属性。本单元作业采用了 阅读全文
posted @ 2020-05-23 20:13 BearHuchao 阅读(214) 评论(0) 推荐(0) 编辑