The Fundamental Research for Trustworthy Software（可信软件基础研究）

　　【丛书介绍】“中国基础研究报告”丛书是国家自然科学基金委员会首次组织的整体展示我国基础研究水平和格局的丛书，系统展示了我国重点布局的关键基础研究领域的重大原创成果，反映了我国近年来在基础前沿领域的飞跃式发展，代表了我国基础科学研究的最高水平。丛书主编杨卫院士评价该丛书为“我国基础研究的‘史书’记载”。该丛书可为今后的研究者提供丰富的科研素材和创新源泉，将引领相关学科研究领域的持续发展，对推动我国基础研究发展和世界科技强国建设起到积极的促进作用，对实现我国重大基础研究成果的传播和普及具有重大的社会和经济价值。 【本书介绍】《The Fundamental Research for Trustworthy Software（可信软件基础研究）》本书为“中国基础研究报告”丛书《可信软件基础研究》英文版，由何积丰院士担任主编，基于国家自然科学基金重大研究计划“可信软件基础研究”的研究成果写作完成。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”“可信软件的构造与验证”“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性重要成果和进展进行了深入阐释。本书主编为何积丰，计算机软件专家，主要从事计算机软件理论及应用研究。

　　可信软件基础研究项目组指导专家组组长为何积丰。何积丰，计算机软件专家，中国科学院院士，华东师范大学软件学院院长、教授、博士生导师。主要从事计算机软件理论及应用研究。