1并发交错语义
闭卷重建并发交错语义的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2互斥与竞态规约
闭卷重建互斥与竞态规约的对象、公式、算例、算法与失败边界。
3死锁、活锁与饥饿
闭卷重建死锁、活锁与饥饿的对象、公式、算例、算法与失败边界。
4线性化点与并发对象
闭卷重建线性化点与并发对象的对象、公式、算例、算法与失败边界。
5可串行化与事务不变量
闭卷重建可串行化与事务不变量的对象、公式、算例、算法与失败边界。
6弱内存与重排序
闭卷重建弱内存与重排序的对象、公式、算例、算法与失败边界。
7TLA风格状态机与精化映射
闭卷重建TLA风格状态机与精化映射的对象、公式、算例、算法与失败边界。