形式化方法及其在安全苛求系统开发中的应用-VATUU为途教学信息服务平台

形式化方法及其在安全苛求系统开发中的应用

2021-03-29 10:39:49.087 分类：学术讲座阅读量：2702 返回列表

活动/讲座时间：2021-04-15 14:00
活动/讲座地点：X2423
活动/讲座嘉宾：王恪铭
嘉宾介绍：

中国计算机协会会员，英国南安普顿大学电子与计算机系博士后。目前致力于形式化方法及其应用研究，并针对大规模工业PLC程序的验证难题，研究实现了具体的解决方法。

主要内容：

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

图片新闻更多>

最新更新更多>