课题基金基金详情
目标驱动的符号执行可扩展性关键技术研究
批准号：
2021JJ40698
项目类别：
省市级项目
资助金额：
--
负责人：
于恒彪
依托单位：
中国人民解放军国防科技大学
学科分类：
F02.计算机科学
结题年份：
--
批准年份：
2021
项目状态：
未结题
项目参与者：
于恒彪
关键词：
符号执行可扩展性目标驱动关键技术分析方法
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
高性能计算可靠性保证关键技术研究
MPI程序的符号化分析、验证与性能优化
国内基金
海外基金