1Kripke结构与可达状态
闭卷重建Kripke结构与可达状态的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2线性时间与分支时间
闭卷重建线性时间与分支时间的对象、公式、算例、算法与失败边界。
3LTL的X、F、G、U
闭卷重建LTL的X、F、G、U的对象、公式、算例、算法与失败边界。
4CTL算子与不动点
闭卷重建CTL算子与不动点的对象、公式、算例、算法与失败边界。
5公平性约束
闭卷重建公平性约束的对象、公式、算例、算法与失败边界。
6性质模式与自然语言翻译
闭卷重建性质模式与自然语言翻译的对象、公式、算例、算法与失败边界。
7反例路径与循环后缀
闭卷重建反例路径与循环后缀的对象、公式、算例、算法与失败边界。