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

本报讯(记者李乔宇)6月11日，上市公司管理思享会2025年第二期活动在北京成功举办。 证监会日前修改发布《上市公司重大资产重组管理办法》，提出多个首次举措，支持上市公司借助并购 重组做大做优做强。此次活动以"并购重组，向新而行"为主题，聚焦当下并购重组政策机遇与实战前 沿，吸引众多上市公司同仁及行业专家齐聚一堂，共同探讨并购重组新趋势，挖掘资本市场的巨大潜 力。 在此次活动上，中国国际金融股份有限公司投资银行部并购组执行总经理康攀分享了近期并购市场形势 及机会。同时，两家国家级专精特新"小巨人"企业代表亦亮相此次活动，向与会人员分享了其各自领域 的技术突破与企业发展。 具体来看，康攀分享了《近期并购市场形势及机会》。谈及未来并购市场发展趋势，他认为，产业并购 积极性进一步提升，更多优质资产将注入传统上市公司；央企或通过并购整合发挥"链主"作用；更多私 募并购基金或将试水上市公司控制权收购，"耐心资本"加大出资力度。 在项目交流环节中，两家国家级专精特新"小巨人"企业依次亮相。上海创景信息科技股份有限公司董秘 王之栋详细介绍公司作为国内知名高可信软件开发与验证工具链提供商，在软件全生命周期覆盖的深厚 积累，以 ...