格隆汇6月25日丨科大国创(300520.SZ)在投资者互动平台表示，公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品，通过对程序源代码进行静态的分析和验证，实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。
海量资讯、精准解读，尽在新浪财经APP
VIP课程推荐
加载中...
APP专享直播
热门推荐
收起
新浪财经公众号
24小时滚动播报最新的财经资讯和视频，更多粉丝福利扫描二维码关注（sinafinance）
