英语词汇“automatic program verification system”的翻译、意思、用法、释义-英汉双解词典-注文网

单词	automatic program verification system
释义	automatic program verification system [计] 自动程序验证系统
随便看	bid somebody adieu bid someone go whistle bid someone welcome bids on bid specification bidstand bid sth up Bidston bidstons bid sufficiency bids up bid tabulation bid tap Bidtinic bidtnic bid to boost investment Bid-to-Cover Ratio bidual biduals bidual space biduk biduotertian biduotertian fever biduous bid-up 瓷器店里翻跟斗，少不了磕磕碰碰瓷窑上的瓦盆儿，一套一套瓷窑上的瓦盆儿，一套一套的甑已破焉，视之何益。甘井先竭，柖木先伐。甘井先竭，直木必伐甘井必先竭甘井近竭，招木近伐。甘从千日醉，耻与万人同。甘从锋刃毙，莫夺坚贞志劳驾劻劻勷劼劾劾奏劾状势势不两立势不可当