申报倒计时5天丨2024年度CCF-华为胡杨林基金形式化专项

文章预览

2024年度CCF-华为胡杨林基金形式化专项于2024年8月2日启动申报，目前距离申报截止时间：2024年9月30日24:00 (北京时间)仅剩 5 天，欢迎CCF会员关注及申报。 CCF-华为胡杨林基金形式化专项启动于2021年，今年是第4次发布，本专项主要目标是支持国内形式化方法的提升与竞争力构建，促进学术界与产业界合作、技术成果转化。本年度开放申报的课题分为两类： 产业课题和开放课题 。 产业课题 ：主要针对产业典型问题，持续提升形式化技术的能力上界、降低业界应用相关技术的门槛和成本，创造产业价值；单课题原则上资助额度不超过 50 万人民币。 产业课题 方向1：可追溯的中间代码元数据生成 课题背景 元数据如调试信息是编译器在生成可执行文件时附带的信息，它主要包括源代码与生成的机器代码之间的映射关系。具体内容包括源代码行号与对应机 ………………………………