网友提问 :5、问:请介绍下公司高可信软件的具体情况?
2023-10-11 00:00:00
科大国创 (300520): 回答:答:如何保证软件的安全、可靠、可信是学术界长期研究方向,公司基于中国科大——国创高可信软件工程中心的理论研究成果,积极推动产业化进程,面向程序分析和形式验证领域研发了国际领先、国产自主可控的高可信软件产品。高可信软件是一款基础工具软件,主要采用符号执行、定理证明等形式化技术,在代码级别或系统级别进行静态分析、动态分析和程序验证,以提供准确而全面的软件评估,从而帮助程序研发与测试人员检测和纠正潜在的错误、程序数据与信息的安全问题、潜在的逻辑漏洞和缺陷,确保软件的质量和可靠性。公司高可信软件可以为公司数字化新能源产品的安全、可靠保驾护航;同时,公司也在围绕形式分析、形式验证及可信测试开展高可信软件的市场化推广,目前已在航天航空、军工交通、汽车电子等领域实现应用。
2023-10-11 00:00:00