1显式状态模型检查
闭卷重建显式状态模型检查的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2状态爆炸
闭卷重建状态爆炸的对象、公式、算例、算法与失败边界。
3偏序约简
闭卷重建偏序约简的对象、公式、算例、算法与失败边界。
4对称约简
闭卷重建对称约简的对象、公式、算例、算法与失败边界。
5BDD符号模型检查
闭卷重建BDD符号模型检查的对象、公式、算例、算法与失败边界。
6有界模型检查
闭卷重建有界模型检查的对象、公式、算例、算法与失败边界。
7归纳模型检查与k-induction
闭卷重建归纳模型检查与k-induction的对象、公式、算例、算法与失败边界。