1为什么测试不能代替证明
闭卷重建为什么测试不能代替证明的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2系统、模型与真实世界三层
闭卷重建系统、模型与真实世界三层的对象、公式、算例、算法与失败边界。
3安全性、活性与公平性
闭卷重建安全性、活性与公平性的对象、公式、算例、算法与失败边界。
4前置条件、后置条件与框架条件
闭卷重建前置条件、后置条件与框架条件的对象、公式、算例、算法与失败边界。
5部分正确与完全正确
闭卷重建部分正确与完全正确的对象、公式、算例、算法与失败边界。
6可信计算基与证明边界
闭卷重建可信计算基与证明边界的对象、公式、算例、算法与失败边界。
7反例驱动与可复现验证
闭卷重建反例驱动与可复现验证的对象、公式、算例、算法与失败边界。