摘要
针对历年来国家自然科学基金委员会(NSFC)在形式化方法领域各类型基金申请和资助情况进行统计和分析,并对涉及的重大研究计划和重大项目予以重点阐述和分析,最后对NSFC“十四五”发展规划中涉及形式化方法的部分予以解读。
This paper statistically analyzes the fund applications and funding in formal methods under the National Natural Science Foundation of China(NSFC).Then,it describes and analyzes the major research plan and major projects of NSFC related to formal methods.After that,the work expounds on the content related to formal methods in the 14th Five-Year Plan of NSFC.
作者
陈厅
吴国政
刘哲
蒲戈光
赵瑞珍
刘克
CHEN Ting;WU Guozheng;LIU Zhe;PU Geguang;ZHAO Ruizhen;LIU Ke(Department of Information Science,National Natural Science Foundation of China,Beijing 100083,China;School of Computer Science and Engineering(School of Cybersecurity),University of Electronic Science and Technology of China,Chengdu 611731,China;College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China;Software Engineering Institute,East China Normal University,Shanghai 200062,China)
出处
《前瞻科技》
2023年第1期132-140,共9页
Science and Technology Foresight
