1验证条件生成器
闭卷重建验证条件生成器的对象、公式、算例、算法与失败边界。
形式化方法与程序验证 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2路径条件与符号执行
闭卷重建路径条件与符号执行的对象、公式、算例、算法与失败边界。
3SAT、SMT与理论组合
闭卷重建SAT、SMT与理论组合的对象、公式、算例、算法与失败边界。
4SMT模型与反例解释
闭卷重建SMT模型与反例解释的对象、公式、算例、算法与失败边界。
5不可满足核与证明证书
闭卷重建不可满足核与证明证书的对象、公式、算例、算法与失败边界。
6量词、触发器与求解不稳定
闭卷重建量词、触发器与求解不稳定的对象、公式、算例、算法与失败边界。
7整数、实数与位向量语义
闭卷重建整数、实数与位向量语义的对象、公式、算例、算法与失败边界。