格隆汇6月25日丨科大国创(300520)(300520.SZ)在投资者互动平台表现 ，公司自主研发的高可信软件重要 包罗 程序分析工具和程序验证工具等原创软件产物 ，通过对程序源代码举行 静态的分析和验证，实现高可信软件智能验证。公司将积极推动与相干 方在编程语言分析、验证等方面的相助 。