来源 :格隆汇2023-09-12
科大国创(300520.SZ)近期在接待机构投资者调研时表示，公司高可信软件以发现程序问题的能力强、覆盖代码范围广、研发过程衔接快、测试验证精度高等特点为公司数字化产品的安全、可靠保驾护航；其次，公司围绕形式分析、形式验证及可信测试开展高可信软件的市场化推广，目前已在航天航空、军工交通、汽车电子等领域实现应用。