来源 :深交所互动易2024-06-25
cninfo837850问科大国创(300520)请问公司高可信软件是否可应用于华为仓颉语言？
2024-06-21 16:32:26
科大国创答cninfo837850
您好，感谢关注。公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品，通过对程序源代码进行静态的分析和验证，实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。
2024-06-25 18:51:20