2022 CCF中国软件大会（CCF Chinasoft）“约束求解与定理证明”论坛成功召开

最新推荐文章于 2023-12-08 17:39:56 发布

转载最新推荐文章于 2023-12-08 17:39:56 发布 · 743 阅读

CC 4.0 BY-SA版权

原文链接：https://mp.weixin.qq.com/s?__biz=MzU4NDU4OTM4OQ==&mid=2247499773&idx=3&sn=7a1cc7f1d8d1db741a7efe159ae11ece&chksm=fd9536dfcae2bfc95c0606062809cae0446852f1c22ca1a6fa95932ec0c9c957e356c6ccf38b&scene=126&&sessionid=0

2022年11月25日，CCF中国软件大会的“约束求解与定理证明”论坛成功举行，涵盖理论、技术、工具和应用的探讨。新加坡理工大学David Sanan教授作特邀报告，讨论Web3的安全和形式化方法。此外，来自多所高校的学生分享了他们的研究，涉及虚拟内存验证、并发缺陷检测、智能合约安全等领域。论坛在线参与人数众多，展示了领域内的广泛关注。

2022年11月25日，2022 CCF中国软件大会（CCF ChinaSoft）“约束求解与定理证明”论坛成功举办。本次论坛由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、复旦大学承办，中科院软件所蔡少伟研究员、国防科大陈振邦副教授、国防科大王戟研究员、中科院软件所詹博华副研究员、浙江大学赵永望教授组织，采用腾讯会议与在线直播两种方式线上进行。

论坛关注约束求解和定理证明的理论、技术、工具与应用，包括在EDA、符号执行、模型检测、程序分析与验证、系统安全等领域的应用。论坛包括1个特邀报告和8个常规报告。特邀报告来自于新加坡理工大学的David Sanan教授，8个常规论坛《软件学报》专刊投稿报告来自于北京航空航天大学、天津大学、浙江大学、华东师范大学、上海交通大学、北京信息科技大学、江西师范大学以及吉林大学。论坛吸引了国内外相关领域师生与从业人员的参与，腾讯会议室同时在线人数近50人，论坛视频在线直播和B站在线直播累积观看人数超过2215。

本次论坛分两个阶段举行。论坛第一阶段由浙江大学赵永望教授主持。

第一阶段首先是新加坡理工大学David Sanan教授的特邀报告，报告题目是“Formal Methods for the Web3”，Sanan教授介绍了Web3（重点是区块链智能合约）在安全和可靠方面存在的挑战，然后介绍了目前已有的应对挑战的形式化方法的相关工作，以及已有工作存在的问题，最后简要介绍他目前在这个方面正在进行的工作。