同花顺（300033）金融研究中心06月25日讯，有投资者向科大国创(300520)（300520）提问， 请问公司高可信软件是否可应用于华为仓颉语言？
公司回答表示，您好，感谢关注。公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品，通过对程序源代码进行静态的分析和验证，实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。
张晓波 06-25 19:52
周文凯 06-25 19:47
张晓波 06-25 19:36
刘静 06-25 19:37
刘静 06-25 19:35
贺翀 06-25 19:30
董萍萍 06-25 19:14
刘畅 06-25 19:01
![乙级测绘资质证书[乙测资字11513208]](https://img.hexun.com/chzzzs.jpg){kind=link}
最新评论