格隆汇6月25日丨科大国创(300520)(300520.SZ)在投资者互动平台表现，公司自主研发的高可信软件重要包罗程序分析工具和程序验证工具等原创软件产物，通过对程序源代码举行静态的...