proof tree

  • proof tree
  • 释义

    证明树

纠错 数据更新时间:2026-08-22 13:38:20
1、

new method for detecting code security vulnerability based on reverse deduction with proof-tree

一种基于证明树反演的安全漏洞定位方法

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • group[ɡruːp] n.组,团体,集团;群,批;(雕塑等的)群像;(英美的)空军大队;v.使成群,集合;分类,归类;
  • background[ˈbækɡraʊnd] n.出身,背景;底色;幕后;背景音;
  • properly[ˈprɒpəli] adv.正确地;得体地;完全地;真正地;
  • android studio[ˈændrɔɪd ˈstjuːdiəʊ] 使用
  • NOI['nɔɪ] abbr.非作战情报(Non-Operational Intelligence);未另验证(not Otherwise Identified);调查通知(Notice of Inquiry)
  • aws abbr.adjustable wire stripper 可调剥线钳;advanced warning system 高级警报系统;
  • talk[tɔːk] v.说话,谈话;讨论,洽谈;说闲话;供认;n.交谈,讨论;谈判;报告,演讲;空话;谣言;话题;说话方式;
  • type[taɪp] n.类型,种类;一类(人或事物);…类型的人;印刷文字;v.打字;定型;
  • birdcage[ˈbɜ:dkeɪdʒ] n.鸟笼;鸟笼状的东西;类似鸟笼的场所(如牢房等);
  • relation[rɪˈleɪʃn] n.关系,联系;亲戚;
  • regard[rɪˈɡɑːd] v.认为,看待;注视;n.尊敬,敬佩;关注;问候,致意;
  • before[bɪˈfɔ:(r)] prep. 在…之前;先于,优于;当着…的面;与其…;conj. 在…之前;在…以前;比…早些;与其…;

瑞鸿网英语词典(dict.ruihongw.com)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务!可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈