Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem., as a whole, is comprehensive by taking in all kinds of factors in consideration, but too abstract and inoperative without further elaborations.

Since then, many efforts have been made to formally analyze APIs using model checkers, theorem provers and so on, but none of these models account for mutable global state.

之后，很多研究者用模型检测、定理证明等方式对应用接口进行形式化分析，但是都是在状态不可变的前提下进行的。

互联网摘选

In order to improve the efficiency and the automation of the procedure during proving, various kinds of theorem provers have been developed, falling into interactive or automatic categories.

为了提高定理证明器的工作效率和自动化程度，人们开发了各种定理证明系统，主要有自动化和交互式两种类型。

互联网摘选

Liquid hydrocarbons-Dynamic measurement Proving systems for volumetric meters Part 2: Pipe provers

GB/T17286.2-1998液态烃动态测量体积计量流量计检定系统第2部分：体积管

互联网摘选

Dynamic measurement of crude oil& Technical stipulations of installation for fixed pipe provers

GB/T9109.3-1988原油动态计量固定式标准体积管安装技术规定

互联网摘选

Even so the company's general manager, Mr. Zhang told me "The MG cars we make here have a deep sense of British culture and style." MG Rover has had a troubled past.

即便如此，这家名为南汽名爵公司的总经理张先生说：“我们这里生产的MG轿车依然保持着深厚的英国文化和英国风范”。MG Rover已经经历了一段不平静的岁月。

互联网摘选

SAIC also makes mg own-brand cars after acquiring brands and technology from MG Rover.

从mg罗孚（mg rover）收购了品牌和技术后，上汽还制造mg自有品牌的汽车。

互联网摘选

They say his asset sale agreement specifies that buying the X-Power parts did not confer any licence to use the words mg or Rover.

他们表示，赖利的资产销售协议规定，购买x-power零部件并不能因此获得使用mg或罗孚名称的任何许可。

互联网摘选

An official said: "We want them to do as thorough a job as possible." Given the questions surrounding the government's intervention in MG Rover, ministers are keen to avoid suggestions of interference in the subsequent inquiry.

一位官员表示：我们希望他们尽可能详尽地调查此案。考虑到政府对MG罗孚进行干预所引发的疑问，在谈及政府是否会干预后面的调查时，部长们都急于回避表态。

互联网摘选

The Rover name, which reverted to BMW ownership when MG Rover collapsed 18 months ago, was recently sold to Ford Motor for about 11m ($ 21.5m).

18个月前，当MG罗孚破产时，罗孚的名称重归宝马（BMW）所有。最近，罗孚的名称以约1100万英镑（合2150万美元）的价格，被卖给了福特汽车（Ford Motor）。

互联网摘选

The inspectors, while delving deeply into the management of MG Rover, failed to satisfactorily answer questions about the involvement of labour ministers in MG Rover.

调查人员尽管深入调查了mg罗孚的管理层，却未能令人满意的回答有关工党大臣们插手mg罗孚的问题。

互联网摘选

Such a merger would bring together two state-owned companies currently competing head-on in China, with saloons based on designs and technology acquired from defunct British carmaker MG Rover.

合并将使两家目前正面展开竞争的国有企业走到一起。这两家公司分别收购了英国破产汽车制造商MG罗孚（MG Rover）的设计和技术，以此为基础生产轿车。

互联网摘选

These included Shanghai Automotive Industry Corporation, whose withdrawal from joint venture talks with MG Rover in 2005 triggered its collapse with 6,000 job losses.

上汽集团（SAIC）就是上述合作伙伴之一，该集团在2005年退出了与MG罗孚组建合资公司的谈判，触发后者倒闭，6000名员工失去工作。

互联网摘选

The multi-million pound sale of intellectual property rights which I brokered realised value for MG Rover and extended its survival period.

我撮合出售了数百万英镑知识产权，为MG罗孚实现了价值，并使其得以存活更长时间。

互联网摘选

At stake are two separate plans to relaunch the historic badge in the UK following the high-profile collapse of MG Rover in 2005.

在2005年mg罗孚（mg rover）令人瞩目的倒闭事件后，双方各有一项重新启用这个英国历史性商标的计划。

互联网摘选

He acquired the parts in 2007 from the liquidators of one of the companies in the MG Rover Group.

2007年他从mg罗孚集团旗下一家公司的清算人手中购买了这些零部件。

互联网摘选

The air over the great land mass of Asia heats up in summer and rises.

夏季，亚洲大陆上空的空气变热并向上升腾。

provided by jukuu

Numerical Solution of Viscous Shock Layer Flow of 11 Species Chemical Reacting Air over Blunt Bodies

11组元化学反应气体粘性激波层钝体绕流数值计算

互联网摘选

and you can move this mass of molecules through the air over to another location at will.

然后你就能很随意地把这么一大坨分子穿过这段空间移到那儿去

互联网摘选

The supplier shall indicate the range of excess air over which emissions are guaranteed.

供应商应说明超出保证排放的过量空气范围。

provided by jukuu

Then the cool air over the water moves in and takes the place of the hot air.

然后水面的冷空气就移动过来，代替了热空气的位置。

互联网摘选