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

面向新工科背景和建设中对人才的需求,针对模型检测与程序验证课程传统教学中教学模式单一、理论与实践融合度低等问题,提出将理论和实践进行有机融合的国际化教学方法,并从教学内容、教学模式、实践教学和考核方式方面介绍教学改革过程。