格隆汇6月25日丨科大国创(300520)(300520.SZ)在投资者互动平台表示，公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品，通过对程序源代码进行静态的分析和验证，实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。
（图片来源网络，侵删）
版权声明：
本网站数据均来自网络,若有文章、图片版权异议或其他问题请及时联系网站管理员立即处理
标签： #验证
科大国创(300520.SZ)：自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品
0
