学硕专硕_智能系统分析与验证

授课老师：李建文老师

好老师！

• 讲义-布尔逻辑
• 讲义-模型检查
• 讲义-线性时态逻辑
• 讲义-自动机
• cdcl-example.pdf