1风险驱动的验证计划
闭卷重建风险驱动的验证计划的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2规约评审与需求追踪
闭卷重建规约评审与需求追踪的对象、公式、算例、算法与失败边界。
3验证与测试的组合
闭卷重建验证与测试的组合的对象、公式、算例、算法与失败边界。
4安全协议与密码实现验证
闭卷重建安全协议与密码实现验证的对象、公式、算例、算法与失败边界。
5编译器、内核与硬件精化
闭卷重建编译器、内核与硬件精化的对象、公式、算例、算法与失败边界。
6标准、认证与独立复核
闭卷重建标准、认证与独立复核的对象、公式、算例、算法与失败边界。
7综合项目：从规约到可复现证据
闭卷重建综合项目：从规约到可复现证据的对象、公式、算例、算法与失败边界。