科大国创(300520) - 2025年7月10日投资者关系活动记录表

证券代码：300520 证券简称：科大国创 科大国创软件股份有限公司 投资者关系活动记录表 编号：20250710 答：高可信软件是公司自主研发的面向程序分析和形式验证领 域的基础工具软件，主要采用符号执行、定理证明等形式化技术， 在代码级别或系统级别进行静态分析、动态分析和程序验证，以提 供准确而全面的软件评估，从而帮助程序研发与测试人员检测和纠 正潜在的错误、程序数据与信息的安全问题、潜在的逻辑漏洞和缺 陷，确保软件的质量和可靠性。目前公司高可信软件已在航天航空、 军工交通、汽车电子等领域实现应用，并持续为公司数字化新能源 产品的安全可靠保驾护航。 四、公司 AI 编程助手现在业务进展情况如何？ 投资者关系 活动类别 ☑特定对象调研 □分析师会议 □媒体采访 □业绩说明会 □新闻发布会 □路演活动 ☑现场参观 其他 （请文字说明其他活动内容） 参与单位名 称及人员姓 名 景顺长城基金、华泰证券、中金公司、方正证券、财通证券、平安 证券 时间 2025 年 7 月 10 日 10:00-11:30 地点 现场调研 上市公司接 待人员姓名 董事会秘书：杨涛先生 证券事务代表：赵淑君女士 投资者关系 活动主要内 ...