首页

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

2025-07-11 20:11 来源：证券日报网

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

（编辑王江浩）

-证券日报网

热点新闻

险资长周期考核机制落地 A股有望迎万亿元级增量资金

让更多硬科技“金种子”破土拔节

工业机器人驶向高质量发展新蓝海

创业板综编制方案优化 7家基金公司火速申报相关ETF产品

24小时排行一周排行

深度策划

5年后再启航全面实施自贸区提升战略

自贸试验区作为我国对外开放的重要窗口……[详情]

市场快讯

21:21	上半年动力电池装车量再创新高磷...
20:50	7月14日上市公司重要公告集锦：德...
20:48	君正集团：积极探索新业务模式
20:43	天娱数科上半年净利润预计扭亏业...
20:43	上市银行年度分红进行时银行股投...
20:42	春秋电子上半年净利润预增超236% ...
20:42	蔚来下笨功夫打造乐道L90 能否打...
20:42	楼市韧性足上半年多地二手房成交...
20:41	瞄准耐磨备件市场加码布局耐普矿...
20:35	好邻如故因爱生光我爱我家多维服...
20:02	济民健康携手达博生物打造多靶点新...
20:00	迪哲医药舒沃替尼片纳入最新版NCCN...

互联网新闻信息服务许可证 10120240020增值电信业务经营许可证京B2-20250455

京公网安备 11010602201377号京ICP备19002521号

证券日报网所载文章、数据仅供参考，使用前务请仔细阅读法律申明，风险自负。

证券日报社电话：010-83251700网站电话：010-83251800

网站传真：010-83251801电子邮件：xmtzx@zqrb.net