1谓词作为状态集合
闭卷重建谓词作为状态集合的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2最强后置条件
闭卷重建最强后置条件的对象、公式、算例、算法与失败边界。
3最弱前置条件
闭卷重建最弱前置条件的对象、公式、算例、算法与失败边界。
4谓词蕴含与条件强弱
闭卷重建谓词蕴含与条件强弱的对象、公式、算例、算法与失败边界。
5替换、捕获与旧值
闭卷重建替换、捕获与旧值的对象、公式、算例、算法与失败边界。
6关系语义与框架
闭卷重建关系语义与框架的对象、公式、算例、算法与失败边界。
7规约一致性与可实现性
闭卷重建规约一致性与可实现性的对象、公式、算例、算法与失败边界。