您现在的位置是：首页 > 综合快讯 > 正文
今日消息 珠海岭南大数据研究院院长朱晓蕊：新型软件架构将保障系统安全性和降低验证消耗
发布时间：2022-11-07 10:03:08来源：
导读
11月7日，在界面新闻主办的2022REAL科技大会上，珠海岭南大数据研究院院长朱晓蕊表示，新型软件架构，正通过形式化验证和虚拟化技术，保障...
11月7日，在界面新闻主办的2022REAL科技大会上，珠海岭南大数据研究院院长朱晓蕊表示，新型软件架构，正通过形式化验证和虚拟化技术，保障系统安全性和降低验证消耗。
标签：
猜你喜欢
- 今日消息 珠海岭南大数据研究院院长朱晓蕊：新型软件架构将保障系统安全性和降低验证消耗
- 今日消息 以色列公司研制“3D打印肉” 已在欧洲多国销售
- 今日消息 青岛新增多个高、中风险区
- 今日消息 中国恒大：质押标的资产已被资产接管人以6.37亿美元出售
- 今日消息 北京密云新增6例感染者，新增风险点位公布
- 今日消息 德州仪器上海分拨中心已完成自动化升级，成都厂扩建项目将在数月内投产
- 今日消息 郑州11月5日新增“15+168”例新冠感染者，风险点位公布
- 今日消息 中远海运：与中国一汽签署战略合作框架协议
- 今日消息 广东11月5日新增本土“252+1330”
- 今日消息 11月5日0时至15时，北京新增本土感染者29例，其中社会面筛查人员3例
最新文章
- 今日消息 珠海岭南大数据研究院院长朱晓蕊：新型软件架构将保障系统安全性和降低验证消耗
- 今日消息 油气股异动拉升，仁智股份涨停
- 今日消息 康希诺生物港股涨超13%，康希诺A股涨超7%
- 今日消息 珠海岭南大数据研究院院长朱晓蕊：科技创业的最优选择主要在新兴市场
- 今日消息 港股教育股走高，新东方-S涨近7%
- 今日消息 港股元宇宙概念股走高，商汤涨超18%
- 今日消息 机场航运板块震荡下跌，吉祥航空跌近4%
- 今日消息 港股有色股强势，招金矿业、紫金矿业涨超10%
- 今日消息 供销社概念股持续活跃，天鹅股份6连板
- 今日消息 银河证券：锂电光伏优秀，风电反转在即
- 今日消息 重庆11月6日新增本土确诊病例42例、本土无症状感染者84例
- 今日消息 科创板融资余额增加4.62亿元
- 今日消息 银河证券：持续看好电子烟龙头出口竞争力
- 今日消息 银河证券：建议关注四季度锂价继续上涨业绩有望进一步释放的锂板块
- 今日消息 北京大兴发现一名新冠病毒核酸检测阳性人员，新划定高中风险区
- 今日消息 乒乓全锦赛男女团上海、辽宁摘金，樊振东达成全锦赛金满贯
- 今日消息 以色列公司研制“3D打印肉” 已在欧洲多国销售
- 今日消息 黑龙江11月6日本土新增“9+281”
- 今日消息 广东11月6日新增本土确诊病例224例、本土无症状感染者1882例
- 今日消息 歌礼制药-B：ASC43F治疗非酒精性脂肪性肝炎I期研究显示出良好耐受性和安全性
- 今日消息 体操世锦赛邹敬园男子双杠夺金，已摘得两金一银
- 今日消息 发改委：支持民间投资参与102项重大工程等项目建设
- 今日消息 发改委：支持民间投资项目参与基础设施领域不动产投资信托基金 REITs试点
- 今日消息 青岛新增多个高、中风险区