科大国创：高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件
摘要：科大国创：高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件（主管q+83670629 Skype号live:.cid.a0aac7b1fef6d741）具有多年业界经营经验,集团旗下多元化服务.作为一个值得信赖和可靠的注册登录客户端app线上注册娱乐,受到广大用户的大力支持
知名超市深圳首店开业！有人凌晨4点排队，2万元一箱的茅台半小时卖光，香港人也来了
“腾讯游戏全部断开”上热搜！网友称《王者荣耀》等游戏崩溃、掉线！刚刚，腾讯道歉……
每经AI快讯，有投资者在投资者互动平台提问：尊敬的董秘先生，生成式人工智能高可信安全软件是否可为其服务，提供安全可靠的应用？谢谢
科大国创（300520.SZ）1月11日在投资者互动平台表示，高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件，具体情况请查阅公司定期报告。
免责声明：本文内容与数据仅供参考，不构成投资建议，使用前核实。据此操作，风险自担。
2未经《每日经济新闻》授权，不得以任何方式加以使用，包括但不限于转载、摘编、复制或建立镜像等，违者必究。天选团队
