we describe a system for automatically synthesizing simulators,which are suited for model checking in that they support auto- matic abstraction
我们称这个系统为自动生成模拟器,它适用于自动提取样品检测
auto- matic abstraction 是自动提取
最新问答： （ ）的工艺 填词语 9分之7 乘 13分之2 加 13分之11 乘 9分之7 简便计算一道 小明十一个善于总结的学生．在学习完用刻度尺测量长度后，对所学的知识进行了总结．请你帮他将遗漏的部分补齐． 议论纷纷,小心意意,这样的词语还有哪些 英语介词填空.-Who do you go there ______?- My aunt.7.-My family al 小学生书包用英语咋说 李强用9元钱买笔,张飞也用9元钱买笔,知李买圆珠笔比张少,圆主笔3元,铅笔6角,他两分别怎样买的 It comes into our flat through thin wires.同义句 稀溶液的依数性稀溶液的四个依数性是 , , , . "Eyes are windows of the soul." Everyone knows the 为什么氮气中混有二氧化碳除杂时需要干燥? 最短时间过桥问题在漆黑的夜里,四位旅行者来到了一座狭窄而且没有护栏的桥边.如果不借助手电筒的话,大家是无论如何也不敢过桥 are you going to play the erhu?的肯定回答 家在梦中何日到,明月何时照我还.这句诗出自什么代什么诗名?这是一首乡诗,讲述了诗人在什么停船之后,望着一水之隔的什么?勾 为什么等量的脂肪比糖类含热量多,却不是生物体利用的主要能源物质? 已知正方形abcd边长为12,ef分别是ad.cd上的点,且ef=10,角ebf=45度,则ae长为多少 下列各句中,没有语病的一句是A. 作为消费者,你是否想过,正是某些畸形的消费需求刺激了商业经营对生态的污染和破坏,从这个 小明第一天看了一本书的十五分之四,第二天看的相当于第一天的二分之三,第二天看了这本书的几分之几 胡适的 我的母亲 胡适被称为麇先生 1,He wants to ____(请两天假） next week.
