走进CCF新基建安全技术系列讲座：安全关键软件形式化方法

近期，由中国计算机学会（CCF）抗恶劣环境计算机委员会主办的新基建安全技术系列讲座在线上展开。CCF抗恶劣环境计算机委员会委员，北京航空航天大学副教授、浙江望安科技有限公司创始人赵永望作了题为《安全关键软件形式化方法：概念、技术与工业应用》的专题讲座。

讲座从形式化方法基本概念与核心技术内容入手，摸清形式化验证与测试验证的区别，直面软件开发中的缺陷及产生原因，分析现行的软件开发方法为何难以满足高安全可靠软件的要求，如何采用形式化方法如何有效消除缺陷提升安全可靠性，剖析形式化方法在航空、航天、无人系统、物联网等工业界应用案例等。