11月13日下午，计算机与信息学院在6教212教室举办了“软件形式化开发方法概论”的主题讲座。此次讲座是学院“教学质量月”系列活动之一，由软件工程系教师潘海玉博士主讲，2012级和2013级软件工程专业全体同学聆听了此次讲座。

潘海玉首先向同学们阐述了“软件”的定义，通过“历史上最严重的软件事件”强调了软件正确的极端重要性。接着，潘博士通过列举“自动取款机”的实例生动形象地展现了自动机方法的编译原理，围绕“形式化规范”和“形式化验证”两个方面进行了介绍，分析了形式化验证所包含的三方面内容，即传统的验证方法、验证的基本性质以及现今的验证方法。

潘海玉的报告语言幽默，深入浅出，通过引用生活中的实例将高深的理论展现给广大学生，赢得了大家的阵阵掌声。此次学术讲座不仅开拓了同学们的知识视野，也激发了同学们对自己专业进一步探索的欲望。

（文/图：钱文娟；初审：邢朝芳；预审：邬海量；审核：张敏）