主  讲  人： 清华大学王瑞

时      间： 10月27日上午8：30

地      点： 北二区二层会议室

主 办 单 位： 信息工程学院

内 容 介 绍：随着信息技术的发展，嵌入式系统在众多行业得到广泛应用，在当前经济

中占有重要地位。嵌入式控制系统设计时存在的缺陷将会导致的重大人员

财产损失。近年来，形式化方法作为软件可靠性保障的方法，在嵌入式领

域得到越来越多的应用。报告主要介绍形式化建模与验证在嵌入式系统设

计中的应用，并通过实际的工业案例展示其有效性。