科大国创(300520.SZ)：高可信软件可为机器人、无人驾驶等领域提供软件分析验证产品和服务

格隆汇12月24日丨科大国创(300520.SZ)在投资者互动平台表示，公司高可信软件可以为机器人、无人驾驶等行业领域提供软件分析验证产品和服务，目前在机器人领域尚无规模化订单。