1循环不变量的三项义务
闭卷重建循环不变量的三项义务的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2计数循环不变量设计
闭卷重建计数循环不变量设计的对象、公式、算例、算法与失败边界。
3搜索与最大值不变量
闭卷重建搜索与最大值不变量的对象、公式、算例、算法与失败边界。
4排列、排序与多重集合
闭卷重建排列、排序与多重集合的对象、公式、算例、算法与失败边界。
5终止变式与良基关系
闭卷重建终止变式与良基关系的对象、公式、算例、算法与失败边界。
6嵌套循环与字典序变式
闭卷重建嵌套循环与字典序变式的对象、公式、算例、算法与失败边界。
7不变量发现与反例增强
闭卷重建不变量发现与反例增强的对象、公式、算例、算法与失败边界。