10月28日，高可信软件应用技术研讨会在安徽合肥顺利落下帷幕。

　　据悉，本次研讨会由中国科学技术大学计算机学院、中国科大-国创高可信软件工程中心主办；科大国创(300520)及控股子公司安徽中科国创高可信软件有限公司承办，来自中科大、国防科技大学、合肥工业大学、安徽大学、安徽师范大学等高校及航天三院、国家电投集团、中电科、华为、阿里、百度等企业的百余名代表参会。

　　会议展示了高可信软件的生态体系，并重磅发布了高可信软件验证平台(学习版)，为程序形式化方法的推广应用奠定了基础，标志着验证工具走向实用化，也为一下步商业化奠定了基础。

　　作为本次会议的承办方，科大国创致力于高可信软件技术的研究已达十年之久，在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等方面拥有诸多理论突破和研究成果，并拥有基于这些理论建立的程序验证与分析框架和程序验证技术。数据显示，截至2019年末，科大国创研发人员达1167名，占员工总数的37.99%；2019年度研发投入1.84亿元，占营业收入比重达11.7%。

　　科大国创表示，在“软件定义一切”的时代，未来社会经济高质量的发展，都离不开软件技术的支撑。特别是在航空航天、国防装备、核能、金融、医疗设备、交通等安全攸关的应用领域，开发高可信软件已成为业内迫切需求。