证券日报网讯科大国创7月22日在互动平台回答投资者提问时表示股票配资利率，公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品，通过对程序源代码进行静态的分析和验证，实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。
阳美网实盘提示：文章来自网络，不代表本站观点。
相关文章
沪深京指数
热点资讯
