WangZai

Courses

Courses

在学 / 计划中的课程。

2025 自修

形式化方法自学课单（以公开课程材料为纲）

按学期节奏整理的形式化方法自学路径：模型检测 → SAT/SMT → 定理证明入门。

formaltheoremverificationreading
in-progress

数字 IC 形式化验证导论（自拟大纲）

覆盖模型检测、等价性检查、断言语言与定理证明入门的自学路径。

形式化验证课程