2022 CCF中国软件大会（CCF ChinaSoft）“CCF-华为胡杨林基金-形式化方法专项”论坛成功召开...

最新推荐文章于 2025-12-18 16:35:37 发布

转载最新推荐文章于 2025-12-18 16:35:37 发布 · 334 阅读

CC 4.0 BY-SA版权

原文链接：https://mp.weixin.qq.com/s?__biz=MzU4NDU4OTM4OQ==&mid=2247500596&idx=4&sn=39fe53d4cd3a9f2d394b4801e8a28ea2&chksm=fd950a16cae28300ed5b08fa8257b02efacafdce890d87c6060c441fd0b7b6fbc827432872e9&scene=126&sessionid=0

文章标签：

#华为

2022年11月25日，2022 CCF中国软件大会“形式化方法专项”论坛成功在线举办，由CCF、复旦大学及华为等联合组织。论坛邀请9位优秀学者分享形式化方法的项目进展，涉及程序不变式自动生成、协议建模、测试技术等方面。报告内容涵盖清华大学、上海交通大学等多所高校的研究成果，吸引600多位观众参与。

2022年11月25日，2022 CCF中国软件大会（CCF ChinaSoft）“形式化方法专项”论坛成功举办。本次论坛由中国计算机学会（CCF）主办，CCF形式化方法专委会、复旦大学承办，华为形式化验证科学家秦胜潮、中国科学院软件研究所研究员/博导吴志林、华为费马实验室高级工程师熊家文共同组织，采用腾讯会议与在线直播两种方式线上进行。

本论坛邀请获得2022年“CCF-华为胡杨林创新基金”形式化方法专项资助的优秀学者进行项目进展介绍及技术交流。包括清华大学、上海交通大学、北京大学、浙江大学、深圳大学、武汉大学、南京理工大学、江苏师范大学、西北工业大学在内的9位优秀学者，通过主题报告形式，分享了相关课题的方案、技术和方法研究进展，并探讨未来的应用前景。

论坛吸引了国内外相关领域师生与从业人员的广泛关注，600多人通过腾讯会议室及在线直播链接观看论坛及参与讨论。

本次论坛分两个阶段举行。论坛第一阶段由中科院软件所吴志林研究员主持，清华大学贺飞、上海交通大学符鸿飞、北京大学孙猛、浙江大学王竟亦先后带来了精彩的报告。各位报告人分别就C程序循环不变式自动生成技术研究、数组以及指针相关循环不变式自动生成方法、基于Mediator的面向协议建模语言设计及工具实现、基于NLP的安全协议自动化建模技术研究等工作进行了阐释与讨论。

论坛第二阶段由华为费马实验室熊家文高级工程师主持，深圳大学许智武、武汉大学甘庭、南京理工大学高凤娟、江苏师范大学祝义、西北工业大学沈博先后带来了精彩的报告。各位报告人分别就面向unsafe代码的Rust库函数测试技术研究、基于非线性Craig插值技术的程序不变式自动生成、基于关键特征的程序性质预测模型的缺陷检测、面向CPS 时空约束的资源建模及其安全性验证方法 、场景驱动的智能系统关键属性评价测试用例自动生成方法研究等工作进行了阐释与讨论。