形式化方法及其在安全苛求系统开发中的应用-交通运输与物流学院

来源：交通运输与物流学院发布日期：2021-03-29 浏览次数：

活动/讲座时间：2021-04-15 14:00

活动/讲座地点：X2423

活动/讲座嘉宾：王恪铭

嘉宾介绍：

中国计算机协会会员，英国南安普顿大学电子与计算机系博士后。主持承担了国家自然基金、企业合作项目多项，研究成果获省级二级奖励1次。目前致力于形式化方法及其应用研究，并针对大规模工业PLC程序的验证难题，研究实现了具体的解决方法。

主要内容：

基于安全苛求系统中的开发挑战，介绍形式化方法的定义及其发展历程；并通过开发案例，讲述形式化方法在系统开发过程中的应用场景与作用。

图片新闻