科大国创(300520.SZ)：高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件

格隆汇1月11日丨有投资者于投资者互动平台向科大国创(300520.SZ)提问，“生成式人工智能高可信安全软件是否可为其服务，提供安全可靠的应用？”，公司回复称，高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件，具体情况请查阅公司定期报告。