《表1 教学内容安排：新工科背景下的模型检测与程序验证课程教学改革》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《新工科背景下的模型检测与程序验证课程教学改革》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

新大纲保留对传统形式化方法[7]中语义、语法和表达性的剖析，但对重要性质抽取核心理论给出例证和证明思想，对非核心理论进行实用讲解，其证明过程作为课后作业留给有能力和有兴趣的同学完成。新大纲将理论与应用融合进教学内容，增加应用试验部分，教学内容见表1。教学内容在前期注重基本理论概念讲解，帮助学生夯实基础，后期引入应用试验让学生加强实践能力，由简到难，使学生渐进掌握课程内容。此外，新大纲将方法和实验工具相结合，通过在课堂上对国内外经典案例的演示，以案例驱动教学，使学生了解前沿的模型检测与程序验证方法。