科大国创高可信软件验证平台（学习版）正式发布

　　上证报中国证券网讯 10月28日，高可信软件应用技术研讨会在安徽合肥召开。本次会议由中国科学技术大学计算机学院、中国科大-国创高可信软件工程中心主办；科大国创及其控股子公司安徽中科国创高可信软件有限公司承办，会上发布了高可信软件验证平台（学习版），标志着验证工具走向实用化，也为一下步商业化奠定了基础。

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

　　科大国创起源于中科大，中科大为公司信息技术产品研发与整体解决方案提供技术和人才支撑。2008年中科大与耶鲁大学联合成立中科大-耶鲁高可信软件联合研究中心，合作开展对于高可信软件和形式化验证各个领域的研究；2014年，科大国创与中科大共建软件工程中心，组建了高可信软件研究技术团队，希望逐步研发出有市场前景的高可信软件开发方法、技术和工具等；在此基础上，2017年两家又共同出资成立了中科国创高可信软件有限公司，经过2年多的发展，在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等方面拥有诸多理论突破和研究成果，并拥有基于这些理论建立的程序验证与分析框架和程序验证技术。

　　本次研讨会上展示了高可信软件的生态体系。这是一款程序验证的学习平台，具有世界领先水平的高可信软件开发工具产品及技术，打造以程序分析和程序验证为核心的高可信软件集成开发平台，标志着科大国创领先的高可信软件技术已走出开发间，技术成果已崭露头角，为进一步的规模市场化应用奠定了坚实的基础。

　　据悉，为普及程序形式化验证的基础莅临、方法和技术，中科国创高可信将举办首期“程序验证入门培训班”，采用讲解和实践相结合的学习方式，帮助软件技术人员掌握基本的程序验证技术。（胡心宇）