科大国创(300520.SZ)：高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件
格隆汇1月11日丨有投资者于投资者互动平台向科大国创(300520.SZ)提问，“生成式人工智能高可信安全软件是否可为其服务，提供安全可靠的应用？”，公司回复称，高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件，具体情况请查阅公司定期报告。
- 发表于:
- 原文链接：https://page.om.qq.com/page/OfzTnY7WRlFicVqyUCYVOPYQ0
- 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号（企鹅号）传播渠道之一，根据《腾讯内容开放平台服务协议》转载发布内容。
- 如有侵权，请联系 cloudcommunity@tencent.com 删除。
相关快讯
扫码
添加站长 进交流群
领取专属 10元无门槛券
私享最新 技术干货
腾讯云开发者
