1抽象解释与保守近似
闭卷重建抽象解释与保守近似的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2区间域
闭卷重建区间域的对象、公式、算例、算法与失败边界。
3符号域与常量传播
闭卷重建符号域与常量传播的对象、公式、算例、算法与失败边界。
4数据流方程与不动点
闭卷重建数据流方程与不动点的对象、公式、算例、算法与失败边界。
5加宽与变窄
闭卷重建加宽与变窄的对象、公式、算例、算法与失败边界。
6空值、别名与逃逸分析
闭卷重建空值、别名与逃逸分析的对象、公式、算例、算法与失败边界。
7污点、信息流与误报管理
闭卷重建污点、信息流与误报管理的对象、公式、算例、算法与失败边界。