科大国创(300520.SZ)：公司高可信软件目前已在汽车电子等领域实现应用

文章来源：企鹅号 - 格隆汇

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