4月14日下午14：30，北京大学信息科学技术学院王捍贫教授在科学校区计算机学院213会议室做题为“软件工程中的模型验证方法”的学术报告，计算机与通信工程学院相关专业的教师和全体研究生参加了此次学术报告会。

    王捍贫教授从软件的正确性、软件的形式化模型开始、结合软件模型验证的研究前沿，对如何建立软件系统的形式化模型，如何规约软件的系统特性进行了深入的讲解。在形式化模型方面，王教授介绍了petri net、进程演算等当前流行的软件模型工具。对于模型的特性表述，王捍贫教授对时序逻辑和模态逻辑进行了深入的讲解。此外，王教授还介绍了北京大学软件所的相关研究工作。报告结束后，王教授还与现场的师生进行了热烈的互动交流。