课题基金 / 基金详情

目标驱动的符号执行可扩展性关键技术研究

批准号：
2021JJ40698
项目类别：
省市级项目
资助金额：
万元
负责人：
于恒彪
依托单位：
中国人民解放军国防科技大学
学科分类：
计算机科学
结题年份：
--
批准年份：
2021
项目状态：
未结题
项目参与者：
于恒彪
关键词：
符号执行可扩展性目标驱动关键技术分析方法

于恒彪的其他基金

相似基金

相关文献

层次化混合精度优化关键技术研究
高性能计算可靠性保证关键技术研究
MPI程序的符号化分析、验证与性能优化
国内基金
海外基金