科大国创：公司高可信软件已在航天航空、军工交通、汽车电子等领域实现应用_热点

科大国创：公司高可信软件已在航天航空、军工交通、汽车电子等领域实现应用

创始人

2025-07-11 21:40:59

0次

证券日报网讯科大国创7月11日发布公告，在公司回答调研者提问时表示，高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件，主要采用符号执行、定理证明等形式化技术，在代码级别或系统级别进行静态分析、动态分析和程序验证，以提供准确而全面的软件评估，从而帮助程序研发与测试人员检测和纠正潜在的错误、程序数据与信息的安全问题、潜在的逻辑漏洞和缺陷，确保软件的质量和可靠性。目前公司高可信软件已在航天航空、军工交通、汽车电子等领域实现应用，并持续为公司数字化新能源产品的安全可靠保驾护航。

上一篇：46岁男网红遭前女友一家杀害塞行李箱弃尸，前女友被判15年，父亲为护女儿杀人藏尸被判13年

下一篇：锐捷网络：预计2025年上半年净利同比增长160.11%-231.64%

科大国创：公司高可信软件已在航天航空、军工交通、汽车电子等领域实现应用

相关内容

热门资讯