【问】请问公司高可信软件是否可应用于华为仓颉语言? 【答】
科大国创:您好,感谢关注。公司自主研发的高可信软件主要包括程序分析工具和程序验证工具等原创软件产品,通过对程序源代码进行静态的分析和验证,实现高可信软件智能验证。公司将积极推动与相关方在编程语言分析、验证等方面的合作。¶¶2024-06-25 18:51:20 §
郑重声明:用户在财富号/股吧/博客等社区发表的所有信息(包括但不限于文字、视频、音频、数据及图表)仅代表个人观点,与本网站立场无关,不对您构成任何投资建议,据此操作风险自担。请勿相信代客理财、免费荐股和炒股培训等宣传内容,远离非法证券活动。请勿添加发言用户的手机号码、公众号、微博、微信及QQ等信息,谨防上当受骗!