“可信软件基础研究”重大研究计划结题综述

作者：何积丰; 单志广; 王戟; 蒲戈光; 房毓菲; 刘克; 赵瑞珍; 张兆田

来源：中国科学基金, 2018, 32(03): 291-296.

DOI：10.16262/j.cnki.1000-8217.2018.03.009

• 重大研究计划
• 可信软件
• 综述

本文介绍了"可信软件基础研究"重大研究计划的立项背景、总体科学目标、总体布局、实施思路及总体完成情况,并从建设可信软件开发资源共享与服务平台、设立"智能化软件可信的基础理论与方法"重大研究计划、对长期而艰难的课题实施面上项目滚动申报和资助方式等方面概述了在该领域下一步发展的建议。

• 单位
  国家信息中心; 国防科技大学; 国家自然科学基金委员会; 华东师范大学