科大国创 ：高可信软件目前已突破了 航天科技 等重点客户

　　科大国创在接受调研时表示，公司保持高可信程序分析与验证产品的研发投入，产品成熟度和行业融合度持续提升，不断推动高可信软件的商业化应用和发展。目前已突破了航天科技等重点客户，后续将继续加大市场交流和推广，力争早日实现规模化应用。