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

（文章来源：证券时报）