课题基金 / 基金详情

面向系统软件内存安全问题的轻量级形式化验证

批准号：
24ZR1406100
项目类别：
省市级项目
资助金额：
万元
负责人：
徐辉
依托单位：
复旦大学
学科分类：
计算机科学
结题年份：
--
批准年份：
2024
项目状态：
未结题
项目参与者：
徐辉
关键词：
系统软件内存安全轻量级形式化验证

相似基金

相关文献

国内基金
海外基金