来源 :深交所互动易2022-11-08
北齐遗草问科大国创(300520)华为发布ARKTS编程语言，贵司高可信软件能否对该语言进行程序分析和验证？谢谢。
2022-11-06 11:40:18
科大国创答北齐遗草
答：您好，感谢关注。公司积极探索与华为更多层面的合作，公司高可信软件目前未应用于ArkTS语言。
2022-11-08 16:48:43