网友提问 :请问公司高可信软件是否可应用于华为仓颉语言?

2024-06-21 16:32:26

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

2024-06-25 18:51:20

热门互动

科大国创股票

科大国创
法定名称:
科大国创软件股份有限公司
公司简介:
2000年11月6日,科大恒星电子商务技术有限公司设立。
经营范围:
行业软件研究、开发和销售,IT解决方案,信息系统集成、咨询与技术服务;新能源汽车BMS领域发展。
注册地址
安徽省合肥市高新区文曲路355号
办公地址
安徽省合肥市高新区文曲路355号

热搜牛散

热门股票

Copyright © 2016 特特股 tetegu.Com All Rights Reserved