科大国创 (300520): 回答：答：高可信软件是公司自主研发的面向程序分析和形式验证领域的基础工具软件。在程序分析方面，采用基于定理证明和符号执行的静态代码分析技术，根据国际、国家和行业的编码规约对程序源码的编码规范、逻辑缺陷、代码缺陷、代码性能等进行快速而高效的检测与分析；在程序验证方面，针对项目/产品中的核心代码和关键算法，基于数学语言对其性质和功能进行形式化描述，采用基于演绎推理和定理证明的验证技术，证明系统的设计满足其系统需求，程序的实现满足设计规约，最大限度地保障程序正确无错、安全可靠。目前公司高可信软件已在航天航空、军工交通、汽车电子等领域实现应用，并持续为公司数字化新能源产品的安全可靠保驾护航。

2023-11-15 00:00:00