VCG,VCGEN
= Verification Condition Generator,验证条件发生器[生成程序]
热门查询
- Dearden [人名] [英格兰人姓氏] 迪尔登住所名称，来源于古英语，含义是“兽，鹿+河谷”(beast,deer+valley)
- liquidation n. 清算；偿还；液化；清除
- fossil fuel n. 化石燃料（如煤或石油） [网络] 矿物燃料；石化燃料；化石能源
- Billington [人名] [英格兰人姓氏] 比林顿住所名称，来源于古英语，含义是“剑形山”(swordshaped hill)，或“比拉的居留地”(settlement of Billa); [地名] [英国] 比灵顿
- current affairs n. 时事 [网络] 时政；时事新闻；时事政治
- tyrannous adj. 暴虐的；压制的
- Maslin n. <英>（小麦和黑麦等的）混合粉; 混合粉面包; 谷类和豆类间种的庄稼; 混合物
- postern n. 后门，边门；暗道 adj. 后门的；后面的
- exogamy n. 异族结婚；[遗] 异系交配
- nearby adj. 附近的，邻近的 adv. 在附近 prep. 在…附近
- guttural n. 喉音；喉音字 adj. 咽喉的；喉咙的；喉音的
- reboot n. 重新启动 vt. 重新启动；再发动
- voting n. 投票；选举 adj. 投票的 v. 投票（vote的ing形式）；选举
- Spurling [人名] [英格兰人姓氏] 斯珀林 Sparrow的昵称
- sphagnum n. 泥炭藓；水藓
- flutist n. 笛手；横笛吹奏者（等于flautist）
- Nahum n. 那鸿希伯莱的先知, 那鸿书
- muesli n. 牛奶什锦早餐
- globalism n. 全球主义；全球性干涉政策；世界化
- preaching n. 讲道；劝诫 v. 讲道（preach的ing形式） adj. 说教的
