2023年CCF-华为胡杨林基金形式化专项评审结果公布

2023年CCF-华为胡杨林基金形式化专项于4月28日发布申报指南并同步开启申报。本年度共5个产业课题方向：自适应精度的抽象解释技术、TLS协议栈代码功能形式化验证、基于局部搜索的程序轻量形式化验证技术、分布式异步时序问题分析检测技术、基于RISC-V实现的带可信执行环境处理器的形式化验证技术。开放课题不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力的课题。

截止至申报结束时间： 2023年6月24日24:00（北京时间），共收到有效项目申请22项，其中产业课题申请7项，开放课题申请15项。

2023年7月由CCF形式化方法专委和华为各3位专家组成的技术委员会对项目进行了综合评审。产业课题围绕其相关性、研究背景匹配度、技术先进性及合理性、交付风险、研究计划、可落地性、交付件七个纬度，开放课题围绕研究背景匹配度、技术先进性及合理性、研究计划、应用价值、交付件五个纬度进行预审，经过技术委员会会议充分讨论和评审，最终评选出4个产业课题和5个开放课题进行资助。

获资助项目将于2023年8月起陆续开题，进行为期一年的研究。在未来一年的合作里，华为将与各团队携手共进，推动形式化技术创新和成果转化。

2023年CCF-华为胡杨林基金形式化专项评审结果公布如下