1Hoare三元组语义
闭卷重建Hoare三元组语义的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2赋值公理
闭卷重建赋值公理的对象、公式、算例、算法与失败边界。
3顺序组合规则
闭卷重建顺序组合规则的对象、公式、算例、算法与失败边界。
4条件规则
闭卷重建条件规则的对象、公式、算例、算法与失败边界。
5后果规则
闭卷重建后果规则的对象、公式、算例、算法与失败边界。
6数组读写与边界
闭卷重建数组读写与边界的对象、公式、算例、算法与失败边界。
7函数调用与模块契约
闭卷重建函数调用与模块契约的对象、公式、算例、算法与失败边界。