科大国创 (300520): 回答：答：公司作为一家软件企业，依靠技术创新驱动业务发展，经过多年积累，形成了数据智能和高可信软件分析验证的核心技术体系。首先，在应用创新方面，公司结合丰富的行业经验，持续推动核心技术与重点行业领域的融合创新应用，打造了具有特色的国创数据智能平台，全面积累应用能力，不断巩固公司技术优势；其次，在原始创新方面，公司以领先的形式化验证理论与技术，坚持自主创新，积极研发高可信软件程序分析和程序验证的原创基础工具软件，为国家科技创新发展贡献力量。

2023-11-15 00:00:00