涨停板|龙虎榜|牛散|股东人数
您的位置:特特股 > 科大国创 > 互动
网友提问 :请问公司高可信软件是否可应用于华为仓颉语言?

2024-06-21 16:32:26

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

2024-06-25 18:51:20

科大国创龙虎榜   科大国创大宗交易 科大国创股东人数 科大国创互动平台
科大国创财务分析 科大国创主营收入构成 科大国创流通股东 科大国创十大股东

科大国创

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