VCG,VCGEN
= Verification Condition Generator,验证条件发生器[生成程序]
热门查询
- prologue n. 开场白；序言 vt. 加上…前言；为…作序
- dishonoured 拒收的；拒付的；无法偿付的
- massif n. 山丘；断层块；大厦
- coo n. 咕咕声；鸽子的叫声 vt. 咕咕地叫；轻轻地说 int. 唔（表示惊讶或者高兴等） vi. 咕咕地叫；柔声地说
- undemanding adj. 要求不高的；容易的；不严格的
- wifely adj. 适于做妻子的；像妻的；妻的
- impresario n. （意）（歌剧、乐团等的）演出者；经理人；乐队指挥，导演
- critique n. 批评；评论文章 vt. 批判；评论
- Rathbone [人名] [英格兰人姓氏] 拉思伯恩住所名称，来源于古英语，含义是“芦苇+溪流”(reeds+stream)
- virtuality n. 虚拟性；实质
- Novak [人名] 诺瓦克
- Ricci n. 里奇（姓氏）
- questing adj. 探求的 v. 探索（quest的ing形式）
- counterpose vt. 使对立；对比；并列
- elastic n. 松紧带；橡皮圈 adj. 有弹性的；灵活的；易伸缩的
- tachometer n. 转速计；流速计
- Ruud [人名] 鲁德
- cunningly adv. 巧妙地，狡猾地
- illuminati n. 先觉者 n. (Illuminati)人名；(意)伊卢米纳蒂
- weigh n. 权衡；称重量 vt. 权衡；考虑；称…重量 vi. 重量为…；具有重要性；成为…的重荷；起锚
