投资者提问：请问公司的Ai编程工具和高可信软件方面，与仓颉编程语言合作吗？..._资讯

创始人

2025-07-22 09:10:44

0次

投资者提问：

请问公司的Ai编程工具和高可信软件方面，与仓颉编程语言合作吗？应用方向是怎样的？目前大多数云平台都没有支持到仓颉，公司的能支持吗？开源以后能否受益？

董秘回答(科大国创SZ300520)：

您好，感谢关注。公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品，通过对程序源代码进行静态的分析和验证，实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。

查看更多董秘问答>>

免责声明：本信息由Hehson财经从公开信息中摘录，不构成任何投资建议；Hehson财经不保证数据的准确性，内容仅供参考。

人发脾气的时候听音乐能不能把脾... 人发脾气的时候听音乐能不能把脾气减下来？能，如果你听好的音乐，比如说莫扎特，他的音乐能提高婴儿的智力...

蓄起亘古的情丝，揉碎殷红的相思... 蓄起亘古的情丝，揉碎殷红的相思。过去了就是昨天，新的一页翻开还是晴朗的天。

有没有像云狂，狂帝一样的小说。有没有像云狂，狂帝一样的小说。一对一，女主很漂亮。傲风（非常好看，很长）控天大小姐驾到驭妖（这个也很...

春天还会在哪里呢会是什么样子的... 春天还会在哪里呢会是什么样子的呢春天还会在哪里呢会是什么样子的呢她在柳枝上荡秋千在风筝尾巴上摇哇摇在...

成都楼市又出新政！中经记者陈雪波卢志坤成都报道7月21日，成都市出台17条措施，综合施策促进房地产业良性循环和健...

小球承载大使命匹克球引少年行（来源：CGTN）转自：CGTN 【小球承载大使命匹克...

快女李斯丹妮李茂人气高吗快女李斯丹妮李茂人气高吗李斯丹妮人气很高啊，我最喜欢她了在快女里面。李茂是我的最爱！！他们两个...

租房新规来了无正当理由不得扣... 来源：@央视财经微博【#租房新规来了# #无正当理由不...

全国48条河流发生超警以上洪水转自：北京日报客户端今天，水利部滚动会商研判全国雨水情形势，7月21日8时至22日8时，受降雨影响，...

久坐久站当心“致命腿肿”！专家... （来源：上观新闻）近日，有一种疾病突然“火”了那就是“慢性下肢静脉功能不全”。某国元首因下肢肿胀被确...