英语词汇model checking简单造句、意思、用法及例句-英语例句辞典

单词	model checking
例句	英语例句库 This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages. 提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点. 声明：以上例句、词性分类均由互联网资源自动生成，部分未经过人工审核，其表达内容亦不代表本软件的观点；若发现问题，欢迎向我们指正。
随便看	up to sample up to scratch up to snuff up to someone up to something up to speed up to standard up to ... standards up to strength up to the up to the chin up to the ears up to the elbows up to the eyeballs up to the eyes up to the handle up to the hilt up to their neck in up to their necks up to the mark up to the minute up to the moment up to then up to the neck up to the nines

英语例句辞典收录519880条英汉例句词条，基本涵盖了全部常用单词的造句方法及例句，是英语学习的有利工具。