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

【摘要】每经AI快讯，有投资者在投资者互动平台提问：尊敬的董秘先生，生成式人工智能高可信安全软件是否可为其服务，提供安全可靠的应用？谢谢......科大国创1月11日在投资者互动平台表示，高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工...

每经AI快讯，有投资者在投资者互动平台提问：尊敬的董秘先生，生成式人工智能高可信安全软件是否可为其服务，提供安全可靠的应用？谢谢

科大国创（300520, 21.98, 4.92%）1月11日在投资者互动平台表示，高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件，具体情况请查阅公司定期报告。

科大国创(300520)涨4.92%收盘，报21.98元。全天成交502946手，成交金额11亿元。其中主力资金净流出553.64万元。全天换手率21.58%。