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

OVERVIEW ON MAJOR RESEARCH PLAN OF TRUSTWORTHY SOFTWARE

国家自然科学基金委员会启动实施了"可信软件基础研究"重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。

The major research plan of trustworthy software was set up by the National Natural Science Foundation of China. This paper introduces the background and significance of the plan, the current status of the trustworthy software research, the scientific objectives and associated scientific problems of the plan, and the expected results.