1类型安全的进展与保持
闭卷重建类型安全的进展与保持的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2精化类型
闭卷重建精化类型的对象、公式、算例、算法与失败边界。
3依赖类型与命题即类型
闭卷重建依赖类型与命题即类型的对象、公式、算例、算法与失败边界。
4证明助理与内核检查
闭卷重建证明助理与内核检查的对象、公式、算例、算法与失败边界。
5归纳证明与递归程序
闭卷重建归纳证明与递归程序的对象、公式、算例、算法与失败边界。
6程序抽取与已验证组件
闭卷重建程序抽取与已验证组件的对象、公式、算例、算法与失败边界。
7证明维护、自动化与可读性
闭卷重建证明维护、自动化与可读性的对象、公式、算例、算法与失败边界。