网友提问 :请问公司高可信软件是否可应用于华为仓颉语言?
2024-06-21 16:32:26
科大国创 (300520): 回答:您好,感谢关注。公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品,通过对程序源代码进行静态的分析和验证,实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。
2024-06-25 18:51:20
2024-06-21 16:32:26
2024-06-25 18:51:20
2024-06-25 18:51:46
2024-06-17 19:26:20
2024-06-17 19:28:22
2024-06-17 19:28:33
2024-06-17 19:29:33
热搜牛散
热门股票
Copyright © 2016 特特股 tetegu.Com All Rights Reserved