2023 CCF中国软件大会（CCF ChinaSoft）“形式化方法与应用”论坛 成功召开

    2023年12月1日，2023年度CCF中国软件大会开源软件论坛成功召开。

    《形式化方法与应用》专刊论坛是依托中国计算机学会形式化方法专委会在中国软件大会上持续组织的一个重要活动。今年的《形式化方法与应用》专刊论坛共收到稿件44份，稿件来自于华东师范大学、同济大学、中国科学院软件研究所、上海交通大学、西南大学、西安电子科技大学、首都师范大学、江西师范大学、郑州大学、江苏大学、南京航空航天大学等高校院所，其中21篇稿件进入第二轮审稿。最终经过两轮审稿，15篇论文通过评审被邀请到论坛汇报。另外，本论坛还邀请了产业界的专家来分享他们最新的研究成果及见解。

✦  ✦

    在本次论坛的第一个session共有三个报告。报告人分别介绍了《完备神经网络验证加速技术综述》、《基于PAC学习的组合式概率障碍证书生成方法》与《VDMBS:一种基于形式化方法的区块链系统漏洞检测模型》三项工作。

    在本次论坛的第二个session，五位报告人介绍了有关定理证明的相关研究工作，分别是：《微内核操作系统互斥量模块功能正确性的形式化验证》、《命令式动态规划类算法程序推导及机械化验证》、《基于交互式定理证明的并发程序验证工作综述》、《Trie+结构函数式建模、机械化验证及其应用》以及《基于DH标定的机器人正向运动学形式化验证》。

    本次论坛的第三个session在下午两点准时开始。下午的session包括一个来自产业界的特邀报告以及三篇论文报告。讲者分别介绍了《形式化方法在自动驾驶软件设计中的应用》、《基于AADL的混合关键系统随机错误与突发错误安全性分析》、《Büchi自动机确定化分析工具》以及《并发对象强可线性化性质的检测和验证研究》等研究工作。

    本次论坛的最后一个session介绍了《关于安全案例论证构建的综述》、《舰载机弹药保障作业调度的形式化建模与验证》、《基于MTRDL的自动飞行系统模式需求建模与验证方法》以及《基于优先级时间Petri网的实时嵌入式多核系统分析》等研究工作，现场讨论交流十分热烈。