形式化方法与程序验证

十二章八十四节本科核心正课；每节包含专属验证对象、推理规则、完整算例、工具流程和最小反例；逐课四题，二十四个可运行Python验证实验、十二章卷及期中期末/实验/案例专项，配套逐章笔记与公式速查。