摘 要：
发布易8月13日 - 科大国创（300520）在互动平台上表示，公司高可信软件面向航天、军工、核电、医疗等重点关键领域，以及无人驾驶、智能机器人、智能汽车等智能应用领域提供软件可靠性、安全性的分析和验证，目前正处于市场化试点应用阶段。
