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